Verification techniques for elementary data types and retransmission protocols : academisch proefschrift ter verkrijging van de graad van doctor aan de Universieit van Amsterdam op gezag van de rector magnificus prof. dr. P. W. M. de Meijer ten overstaan van een door het college voor promoties ingestelde commissie, in het openbaar te verdedigen in de aula der universiteit op vrijdag 15 september 1995, te 10:00 uur / Jacobus Johannes van Wamel
(Visualizza in formato marc)
(Visualizza in BIBFRAME)
| Autore: |
Wamel, Jacobus Johannes : van
|
| Titolo: |
Verification techniques for elementary data types and retransmission protocols : academisch proefschrift ter verkrijging van de graad van doctor aan de Universieit van Amsterdam op gezag van de rector magnificus prof. dr. P. W. M. de Meijer ten overstaan van een door het college voor promoties ingestelde commissie, in het openbaar te verdedigen in de aula der universiteit op vrijdag 15 september 1995, te 10:00 uur / Jacobus Johannes van Wamel
|
| Pubblicazione: | Amsterdam, : Institute for logic, language and computation, 1995 |
| Descrizione fisica: | VI, 152 p. ; 24 cm |
| Soggetto topico: | 68-XX - Computer science [MSC 2020] |
| Note generali: | Universiteit van Amsterdam, Faculteit Wiskunde en Informatica. - Tesi di dottorato |
| Titolo autorizzato: | Verification techniques for elementary data types and retransmission protocols |
| ISBN: | 90-7479-525-0 |
| Formato: | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione: | Olandese |
| Inglese | |
| Record Nr.: | VAN00090787 |
| Lo trovi qui: | Univ. Vanvitelli |
| Localizzazioni e accesso elettronico | /sebina/repository/catalogazione/documenti/van Wamel - Verification techniques for elementary data types and retransmission protocols.PDF |
| Opac: | Controlla la disponibilità qui |
Serie:
ILLC dissertation series Amsterdam . -Institute for Logic, Language and Computation ; 1995-6