The Z formal specification notation : 10th International conference of Zusers : Rreading, UK, April 3-4, 1997 : proceedings / Jonathan P. Bowen ... [et al.] (eds.) (ZUM '97)

• Record Nr.: UNISA990000205030203316
• Autore: International conference of Z users : 10. : 1997
• Pubbl/distr/stampa: Berlin [etc.] : Springer-Verlag, copyr. 1997
• ISBN: 3-540-62717-0
• Descrizione fisica: X, 433 p. : ill. ; 23 cm
• Collana: Lecture notes in computer science ; 1212
• Disciplina: 0051
• Collocazione: 001 LNCS (1212)
• Lingua di pubblicazione: Inglese
• Formato: Materiale a stampa
• Livello bibliografico: Monografia