TU Darmstadt / ULB / TUbiblio

The Formal Background of PROGRES

Schürr, Andy Nagl, M. (ed.) (1996):
The Formal Background of PROGRES.
In: Lecture Notes in Computer Science (LNCS), In: Building Thightly-Integrated (Software) Development Environments: The IPSEN Approach, Heidelberg, Springer Verlag, pp. 280-296, [Book Section]

Item Type: Book Section
Erschienen: 1996
Editors: Nagl, M.
Creators: Schürr, Andy
Title: The Formal Background of 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:36
Export:
Suche nach Titel in: TUfind oder in Google
Send an inquiry Send an inquiry

Options (only for editors)

View Item View Item