ISBN 3540525890 books & textbook

Specification and Transformation of Programs: A Formal Approach to Software Development (Springer Texts in Electrical Engineering)

Partsch, Helmut A.

Springer /1990-07-05 Paperback / 506 Pages
isbn-10: 3540525890 / isbn-13: 9783540525899