recent advances in the development and use of the B method : second international B conference,Montepellier, France, April 22-24,1998 : proceedings / Didier Bert (ed.) (B'98)

• Record Nr.: UNISA990000209060203316
• Autore: International B conference B'98 : 2. : 1998
• Pubbl/distr/stampa: Berlino : Springer-Verlag, copyr. 1998
• ISBN: 3-540-64405-9
• Descrizione fisica: VIII, 311 p. : ill. ; 23 cm
• Collana: Lecture notes in computer science ; 1393
• Disciplina: 00514
• Collocazione: 001 LNCS (1393)
• Lingua di pubblicazione: Inglese
• Formato: Materiale a stampa
• Livello bibliografico: Monografia