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.
[Book Section] , (1996)

Item Type: Book Section
Erschienen: 1996
Editors: Nagl, M.
Creators: Schürr, Andy
Title: Introduction to the Specification Language PROGRES
Language: English
Title of Book: Building Thightly-Integrated (Software) Development Environments: The IPSEN Approach
Series Name: Lecture Notes in Computer Science (LNCS)
Volume: 1170
Place of Publication: Heidelberg
Publisher: Springer Verlag
Divisions: 18 Department of Electrical Engineering and Information Technology > Institute of Computer Engineering > Real-Time Systems
18 Department of Electrical Engineering and Information Technology
18 Department of Electrical Engineering and Information Technology > Institute of Computer Engineering
Event Location: Heidelberg
Date Deposited: 26 May 2015 12:35
Export:

Optionen (nur für Redakteure)

View Item View Item