TU Darmstadt / ULB / TUbiblio

Introduction to the Specification Language PROGRES

Schürr, Andy
Nagl, M. (ed.) :

Introduction to the Specification Language PROGRES.
In: Building Thightly-Integrated (Software) Development Environments: The IPSEN Approach. Lecture Notes in Computer Science (LNCS), 1170. Springer Verlag, Heidelberg Heidelberg , pp. 248-279.
[Buchkapitel], (1996)

Typ des Eintrags: Buchkapitel
Erschienen: 1996
Herausgeber: Nagl, M.
Autor(en): Schürr, Andy
Titel: Introduction to the Specification Language PROGRES
Sprache: Englisch
Buchtitel: Building Thightly-Integrated (Software) Development Environments: The IPSEN Approach
Reihe: Lecture Notes in Computer Science (LNCS)
Band: 1170
Ort: Heidelberg
Verlag: Springer Verlag
Fachbereich(e)/-gebiet(e): Fachbereich Elektrotechnik und Informationstechnik > Echtzeitsysteme
Fachbereich Elektrotechnik und Informationstechnik
Veranstaltungsort: Heidelberg
Hinterlegungsdatum: 26 Mai 2015 12:35
Export:

Optionen (nur für Redakteure)

Eintrag anzeigen Eintrag anzeigen