Industrial applications and strenghtened foundations of formal methods : 4th International symposium of formal methods Europe: Graz, Austria, September 15-19, 1997 : proceedings / John Fitzgerald...[et al.] (eds.) (FME'97)

• Record Nr.: UNISA990000209280203316
• Autore: International symposium of formal methods Europe : 4. : 1997
• Pubbl/distr/stampa: Berlino : Springer-Verlag, copyr. 1997
• ISBN: 3-540-63533-5
• Descrizione fisica: XIII, 684 p. : ill. ; 23 cm
• Collana: Lecture notes in computer science ; 1313
• Disciplina: 004
• Collocazione: 001 LNCS (1313)
• Lingua di pubblicazione: Inglese
• Formato: Materiale a stampa
• Livello bibliografico: Monografia