Research Catalog

Program development by specification and transformation : the PROSPECTRA methodology, language family, and system

Title: Program development by specification and transformation : the PROSPECTRA methodology, language family, and system / Berthold Hoffmann, Bernd Krieg-Brückner, eds.
Publication: Berlin ; New York : Springer-Verlag, c1993.

Items in the Library & Off-site

Filter by

1 Item

Item details
Status	Format	Access	Call Number	Item Location
Request for On-site Use Request Scan How do I pick up this item and when will it be ready?	Text	Request in advance	JSE 93-1888	Offsite

Details

Additional Authors

Description

xiv, 623 p. : ill.; 24 cm.

Series Statement

Lecture notes in computer science ; 680

Subject

Computer software > Development

Bibliography (note)

Includes bibliographical references (p. [589]-612) and indexes.

Call Number

JSE 93-1888

ISBN

038756733X

LCCN

93029020

OCLC

28547349
NYPG93-B76306

Title

Program development by specification and transformation : the PROSPECTRA methodology, language family, and system / Berthold Hoffmann, Bernd Krieg-Brückner, eds.

Imprint

Berlin ; New York : Springer-Verlag, c1993.

Series

Lecture notes in computer science ; 680

Bibliography

Includes bibliographical references (p. [589]-612) and indexes.

Added Author

Hoffmann, Berthold, 1953-

Krieg-Brückner, B. (Bernd)

Research Call Number

JSE 93-1888

View in Legacy Catalog