Giovanni Calvino / William J. Bouwsma

• Record Nr.: UNINA990006553400403321
• Autore: Bouwsma, William J. <1923- >
• Pubbl/distr/stampa: Roma-Bari : Laterza, 1992
• Descrizione fisica: VIII, 448 p. ; 20 cm
• Collana: Collezione storica
• Disciplina: 286
• Locazione: FSPBC; SDI
• Collocazione: XII A 1028; SDI-KE 554
• Lingua di pubblicazione: Italiano
• Formato: Materiale a stampa
• Livello bibliografico: Monografia

Hybrid systems III : verification and control / Rajeev Alur ... [et al.] (eds.)

• Record Nr.: UNISA990000206470203316
• Pubbl/distr/stampa: Berlin [etc.] : Springer-Verlag, copyr. 1996
• ISBN: 3-540-61155-X
• Descrizione fisica: IX, 615 p. : ill. ; 24 cm
• Collana: Lecture notes in computer science ; 1066
• Disciplina: 00419
• Collocazione: 001 LNCS (1066)
• Lingua di pubblicazione: Inglese
• Formato: Materiale a stampa
• Livello bibliografico: Monografia