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.

Items in the Library & Off-site

Filter by

1 Item

StatusFormatAccessCall NumberItem Location
Request for On-site UseRequest Scan
Not available - Please for assistance.
TextUse in library QA76.76.D47 P766 1993Off-site

Details

Additional Authors
  • Hoffmann, Berthold, 1953-
  • Krieg-Brückner, B. (Bernd)
Description
xiv, 623 p. : ill.; 24 cm.
Subject
ISBN
038756733X
LCCN
93029020
Owning Institutions
Princeton University Library