Shelfclass_id |
4.B.1 |
Sortkey |
HOFFMAN, BERTHOLD |
Authors |
Berghold Hoffman, BERTHOLD HOFFMAN, Bernd Krieg-Brückner |
Title |
Program Development by Specification and Transformation: The PROSPECTRA Methodology, Language Family and System |
Publisher |
Springer-Verlag |
Year |
cop. 1993 |
Languages |
eng |
Isbn |
038756733X, 354056733 |
Series |
Lecture Notes in Computer Science |
Volume |
680 |
Issn |
0302-9743 |
Description |
(New York) X (Berlin) xiv, 623 s. ill. |
Record date |
20071105 |
Location |
New York |
Keywords |
PROSPECTRA, PROSPECTRA project, Computer software, Programutveckling, Programutveckling (Datorer), Program development (Computers), Software engineering |