Treffer: Industrial-strength formal methods

Titel:
Industrial-strength formal methods : proceedings / FME' 93, First International Symposium of Formal Methods Europe, Odense, Denmark, April 19 - 23, 1993. J. C. P. Woodcock ; P. G. Larsen (ed.)
Beteiligt:
Woodcock, James C. (Herausgeber)
Körper­schaft:
FME (1 : 1993 : Odense)
Veröffent­licht:
Berlin : Springer, 1993
Umfang:
XI, 689 Seiten : Diagramme
Publikationstyp:
Buch
Sprache:
Englisch
Schriftenreihe/­Mehrbändiges Werk:
Lecture notes in computer science ; 670
alle Bände anzeigen
Anmerkungen:
Literaturangaben
RVK-Notation:
SS 1800 SS 4000
Schlagworte:
ISBN:
3540566627 ; 0387566627

Zusatz-Informationen

Zusatz-Funktionen