The Z formal specification notation : 11th international conference of Zusers Berlin, Germany, September 24-26, 1998 prooceedings / Jonathan P. Bowen ... [et al.] (eds.) (ZUM'98)

• Record Nr.: UNISA990000209050203316
• Autore: International conference of Z users : 11. : 1998
• Pubbl/distr/stampa: Berlin [etc.] : Springer-Verlag, copyr. 1998
• ISBN: 3-540-65070-9
• Descrizione fisica: XV, 415 p. : ill. ; 20 cm
• Collana: Lecture notes in computer science ; 1493
• Disciplina: 005133
• Collocazione: 001 LNCS (1493)
• Lingua di pubblicazione: Inglese
• Formato: Materiale a stampa
• Livello bibliografico: Monografia