ZB 2003: formal specification and development in Z and B : third international conference of B and Z users : Turku, Finland, June 4-6, 2003 : proceedings / Didier Bert... [et al.] (eds.)

• Record Nr.: UNISA990001769240203316
• Autore: International conference of B and Z users <3. ; 2003 ; Turku>
• Pubbl/distr/stampa: Berlin [etc.] : Springer, copyr. 2003
• ISBN: 3-540-40253-5
• Descrizione fisica: XIII, 545 p. : ill. ; 24 cm.
• Collana: Lecture notes in computer science ; 2651
• Collocazione: 001 LNCS 2651
• Lingua di pubblicazione: Inglese
• Formato: Materiale a stampa
• Livello bibliografico: Monografia