Cover Image

Specification and transformation of programs : a formal approach to software development /

Show other versions (1)
Bibliographic Details
Main Author: Partsch, Helmut A., 1950-
Format: Book
Language:English
Published: Berlin ; New York : Springer-Verlag, [1990]
Series:Texts and monographs in computer science.
Subjects:
Computer software > Development.

Remote Storage

Holdings details from Remote Storage
Call Number: QA76.76.D47 P37 1990
 
Call Number Status Get It
QA76.76.D47 P37 1990 Available