FME '93, industrial-strength formal methods
proceedings / First International symposium of Formal methods Europe, Odense, Denmark, April 19-23, 1993
Livre Ecrit par: Larsen, (Peter Gorm) (1964-) ; Woodcock, Jim ; International Symposium of Formal Methods Europe (1st, Denmark ; Publié en: 1993
Edition:
New York:
Springer-Verlag
Springer-Verlag
Langue:
Anglais
Collation:
1 vol. (xi-689 p.)
;24 cm
ISBN: 0387566627
Thème
Informatique
Mots clés:
Logiciels : Développement
:Actes de congrès
