Vai al contenuto principale della pagina
Autore: | International symposium of formal methods Europe : <1. : ; 1993 |
Titolo: | FME '93 : industrial-strength formal methods : first International symposium of formal methods Europe : Odense, Denmark, April 19-23, 1993 : proceedings / J. C. P. Woodcock, P. G. Larsen (eds.) |
Pubblicazione: | Berlin [etc.], : Springer, 1993 |
Descrizione fisica: | XI, 689 p. ; 24 cm |
Persona (resp. second.): | Woodcock, James C. P. |
Larsen, Peter Gorm <1964- > | |
Titolo autorizzato: | FME '93 |
ISBN: | 0387566627 |
3540566627 | |
Formato: | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione: | Inglese |
Record Nr.: | AQ10013029 |
Lo trovi qui: | Univ. del Sannio |
Collocazione: | COLL. ING. LNCS |
Opac: | Controlla la disponibilità qui |