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

• Record Nr.: UNISA996466111703316
• Pubbl/distr/stampa: Springer Berlin Heidelberg
• Altri autori (Persone): BertDidier
• Disciplina: 005.1/4
• Soggetti: B method (Computer science) - Congresses; Debugging in computer science - Congresses
• Lingua di pubblicazione: Inglese
• Formato: Materiale a stampa
• Livello bibliografico: Monografia