FM-TOOLS 2000: the 4th Workshop on Tools for System Design and Verification; ... held at the

Medientyp: Buch; Konferenzbericht
Titel: FM-TOOLS 2000 : the 4th Workshop on Tools for System Design and Verification; ... held at the "Reisenburg", a beautiful castle near Ulm in South Germany; [10 - 13 July, 2000]
Beteiligte: Schellhorn, Gerhard [Herausgeber:in]
Körperschaft: Universität Ulm, Fakultät für Informatik
Veranstaltung: Workshop on Tools for System Design and Verification
Erschienen: Ulm: Univ., Fak. für Informatik, 2000
Erschienen in: Ulmer Informatik-Berichte ; 2000,07
Umfang: 196 S.; Ill., graph. Darst
Sprache: Englisch
RVK-Notation: SS 5525 : Ulmer Informatik-Berichte
Schlagwörter: System design Congresses ; Konferenzschrift
Entstehung:
Anmerkungen: Literaturangaben
Weitere Bestandsnachweise
0 : Ulmer Informatik-Berichte

FM-TOOLS 2000