ISBN 9780133290035 books & textbook

Formal Specification and Software Development (Mathematics and Its Applications)

Prentice/Hall International /1982-01T Hardcover / 501 Pages
isbn-10: 0133290034 / isbn-13: 9780133290035