TU Darmstadt / ULB / TUbiblio

Proceedings of the Verification Workshop (VERIFY'01)

Hrsg.: Autexier, Serge ; Mantel, Heiko (2001)
Proceedings of the Verification Workshop (VERIFY'01).
Buch, Bibliographie

Typ des Eintrags: Buch
Erschienen: 2001
Herausgeber: Autexier, Serge ; Mantel, Heiko
Art des Eintrags: Bibliographie
Titel: Proceedings of the Verification Workshop (VERIFY'01)
Sprache: Englisch
Publikationsjahr: Juni 2001
Ort: Siena, Italy
Verlag: Universit`a degli studi di Siena
(Heft-)Nummer: Techni
Zusätzliche Informationen:

proc:Verify2001a workshop in connection with International Joint Conference on Automated Reasoning IJCAR'01

Fachbereich(e)/-gebiet(e): 20 Fachbereich Informatik
20 Fachbereich Informatik > Modellierung und Analyse von Informationssystemen (MAIS)
Hinterlegungsdatum: 09 Apr 2010 14:10
Letzte Änderung: 26 Aug 2018 21:25
PPN:
Export:
Suche nach Titel in: TUfind oder in Google
Frage zum Eintrag Frage zum Eintrag

Optionen (nur für Redakteure)
Redaktionelle Details anzeigen Redaktionelle Details anzeigen