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

This specific ISBN edition is currently not available.

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