Andrzej Tarlecki

2 books • 2 series

Dec 30, 2011
Cover of Foundations of Algebraic Specification and Formal Software Development

Foundations of Algebraic Specification and Formal Software Development (Monographs in Theoretical Computer Science. An EATCS)

Aug 7, 1991
Cover of Mathematical Foundations of Computer Science 1991

Mathematical Foundations of Computer Science 1991 (Lecture Notes in Computer Science, #520)