Cover Image

Formal program development : IFIP TC 2/WG 2.1 state of the art report /

Show other versions (1)
Bibliographic Details
Corporate Author: IFIP TC 2/WG 2.1
Other Authors: Möller, Bernhard, 1953-, Partsch, Helmut A., 1950-, Schuman, Steve, 1950-
Format: Book
Language:English
Published: Heidelberg, Germany ; New York : Springer-Verlag, [1993]
Series:Lecture notes in computer science ; 755.
Subjects:
Computer software > Development.
Computer programming.
Description
Physical Description:371 pages : illustrations ; 23 cm.
Bibliography:Includes bibliographical references.
ISBN:0387574999