Treffer: Applied formal methods - FM trends 98
Titel:
Applied formal methods - FM trends 98 : proceedings / International Workshop on Current Trends in Applied Formal Methods, Boppard, Germany, October 7 - 9, 1998. Dieter Hutter ... (ed.)
Verantwortlich:
Veröffentlicht:
Berlin : Springer, 1999
Umfang:
XI, 376 Seiten : Diagramme ; 24 cm
Publikationstyp:
Sprache:
Englisch
Schriftenreihe/Mehrbändiges Werk:
Lecture notes in computer science ; 1641
alle Bände anzeigen
alle Bände anzeigen
Anmerkungen:
Literaturangaben
Schlagworte:
ISBN:
3540664629