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, [1993], ©1993.

Items in the Library & Off-site

Filter by

1 Item

StatusFormatAccessCall NumberItem Location
Request for On-site UseRequest Scan
How do I pick up this item and when will it be ready?
TextRequest in advance QA76.76.D47 P766 1993Off-site

Holdings

Details

Additional Authors
  • Hoffmann, Berthold, 1953-
  • Krieg-Brückner, B. (Bernd)
Description
xiv, 623 pages : illustrations; 24 cm.
Series Statement
Lecture notes in computer science ; 680
Uniform Title
Lecture notes in computer science ; 680.
Subject
Bibliography (note)
  • Includes bibliographical references and index.
ISBN
038756733X
LCCN
93029020
OCLC
  • 28547349
  • ocm28547349
Owning Institutions
Columbia University Libraries