Tarlecki, Andrzej 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
Mathematical Foundations of Computer Science 1991: 16th International Symposium, Kazimierz Dolny, Poland, September 9-13, 1991. Proceedings (Lecture Notes in Computer Science, 520)
Springer /1991-08-07 Paperback / 448 Pages
isbn-10: 3540543457 / isbn-13: 9783540543459
