TU Darmstadt / ULB / TUbiblio

VSE: Controlling the Complexity in Formal Software Developments

Hutter, Dieter ; Mantel, Heiko ; Rock, Georg ; Stephan, Werner ; Wolpers, Andreas ; Balser, Michael ; Reif, Wolfgang ; Schellhorn, Gerhard ; Stenzel, Kurt (1998)
VSE: Controlling the Complexity in Formal Software Developments.
Konferenzveröffentlichung, Bibliographie

Typ des Eintrags: Konferenzveröffentlichung
Erschienen: 1998
Autor(en): Hutter, Dieter ; Mantel, Heiko ; Rock, Georg ; Stephan, Werner ; Wolpers, Andreas ; Balser, Michael ; Reif, Wolfgang ; Schellhorn, Gerhard ; Stenzel, Kurt
Art des Eintrags: Bibliographie
Titel: VSE: Controlling the Complexity in Formal Software Developments
Sprache: Englisch
Publikationsjahr: Oktober 1998
Ort: Boppard, Germany
Verlag: Springer
Buchtitel: International Workshop on Applied Formal Methods -- FM-Trends
Reihe: LNCS 1641
Zusätzliche Informationen:

inp:vsegroup1998a

Fachbereich(e)/-gebiet(e): 20 Fachbereich Informatik
20 Fachbereich Informatik > Modellierung und Analyse von Informationssystemen (MAIS)
Hinterlegungsdatum: 09 Apr 2010 14:11
Letzte Änderung: 03 Jun 2018 21:23
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