Details of Book: Specification And Transformation Of Programs: A Formal Approach To Software Development (texts And Monographs In Computer Science) Book: Specification And Transformation Of Programs: A Formal Approach To Software Development (texts And Monographs In Computer Science)
Author: Helmut A. Partsch,
ISBN: 0387523561
ISBN-13: 9780387523569
, 978-0387523569
Binding: Hardcover
Publishing Date: 1990
Publisher: Springer-verlag
Number of Pages: 493