ISBN 9783642173356 books & textbook
Foundations of Algebraic Specification and Formal Software Development (Monographs in Theoretical Computer Science. An EATCS Series)
Sannella, Donald Tarlecki, Andrzej
Springer /2011-12-30 Hardcover / 600 Pages
isbn-10: 3642173357 / isbn-13: 9783642173356
