Program development by specification and transformation the PROSPECTRA methodlogy, language family, and systems

Saved in:

Bibliographic Details
Other Authors:	Hoffman, Berthold l953-, Krieg-Bruckner, Bernd
Format:	Unknown
Published:	Berlin Springer-Verlag 1993
Series:	Lecture notes in computer science 680
Subjects:	Computer software > Development
Online Access:	Click Here to View Status and Holdings.
Tags:	Add Tag No Tags, Be the first to tag this record!

Internet