FME'94 : industrial benefit of formal method : second International symposium of formal methods Europe : Barcelona, Spain, October 24-28, 1994 : proceedings / Maurice Naftalin, Tim Denvir (eds.)

• Record Nr.: UNISA990000210510203316
• Autore: International symposium of formal methods Europe : 2. : 1994
• Pubbl/distr/stampa: Berlin [etc.] : Springer-Verlag, copyr. 1994
• ISBN: 3-540-58555-9
• Descrizione fisica: XI, 723 p. : ill. ; 25 cm
• Collana: Lecture notes in computer science ; 873
• Disciplina: 004
• Collocazione: 001 LNCS (873)
• Lingua di pubblicazione: Inglese
• Formato: Materiale a stampa
• Livello bibliografico: Monografia