Treffer: Integrated formal methods
Titel:
Integrated formal methods : second international conference ; proceedings / IFM 2000, Dagstuhl Castle, Germany, November 1 - 3, 2000. Wolfgang Grieskamp ... (ed.)
Verantwortlich:
Körperschaft:
Veröffentlicht:
Berlin : Springer, 2000
Umfang:
X, 439 Seiten : Diagramme ; 24 cm
Publikationstyp:
Sprache:
Englisch
Schriftenreihe/Mehrbändiges Werk:
Lecture notes in computer science ; 1945
alle Bände anzeigen
alle Bände anzeigen
Anmerkungen:
Literaturangaben
Schlagworte:
ISBN:
3540411968