Treffer: Formal methods for increasing software productivity
Titel:
Formal methods for increasing software productivity : proceedings / FME 2001, International Symposium of Formal Methods Europe, Berlin, Germany, March 12 - 16, 2001.José Nuno Oliveira ; Pamela Zave (eds.)
Verantwortlich:
Körperschaft:
Veröffentlicht:
Berlin : Springer, 2001
Umfang:
XIII, 628 Seiten : Diagramme ; 24 cm
Publikationstyp:
Sprache:
Englisch
Schriftenreihe/Mehrbändiges Werk:
Lecture notes in computer science ; 2021
alle Bände anzeigen
alle Bände anzeigen
Anmerkungen:
Literaturangaben
RVK-Notation:
Schlagworte:
ISBN:
3540417915