|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNINA9910347953803321 |
|
|
Titolo |
2019 IEEE 19th International Conference on Software Quality, Reliability and Security (QRS) / / Institute of Electrical and Electronics Engineers |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Piscataway : , : IEEE, , 2019 |
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Descrizione fisica |
|
1 online resource (various pagings) : illustrations |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Computer software - Quality control |
Computer software - Reliability |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
2. |
Record Nr. |
UNICAMPANIAVAN00090787 |
|
|
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 |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Amsterdam, : Institute for logic, language and computation, 1995 |
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Descrizione fisica |
|
|
|
|
|
|
Soggetti |
|
68-XX - Computer science [MSC 2020] |
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
Universiteit van Amsterdam, Faculteit Wiskunde en Informatica |
|
|