Specification and Transformation of Programs: A Formal Approach to Software Development (Texts & Monographs in Computer Science) - Hardcover

 
9780387523569: Specification and Transformation of Programs: A Formal Approach to Software Development (Texts & Monographs in Computer Science)
Hardcover
ISBN 10: 0387523561 ISBN 13: 9780387523569

Synopsis

Specification and Transformation of Programs Provides an introduction to formal specification and transformational programming. Full description

"synopsis" may belong to another edition of this title.

Publication date
1856
Language
English
ISBN 10 
0387523561
ISBN 13 
9780387523569
Binding
Hardcover

Other Popular Editions of the Same Title

9783540523567: Specification and Transformation of Programs: A Formal Approach to Software Development (Monographs in Computer Science)

Featured Edition

ISBN 10:  3540523561 ISBN 13:  9783540523567
Publisher: Springer, 1990
Hardcover