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

Bibliographic Details
Main Author: Partsch, Helmut A., 1950-
Format: Book
Language:English
Published: Berlin : Springer, 1990.
Series:Texts and monographs in computer science
Subjects: