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

Foundations

von: Donald Sannella · Andrzej Tarlecki

Gebunden

ISBN-13: 978-3-642-17335-6

ISBN-10: 3-642-17335-7

Springer · 2011

Siehe auch (möglicherweise von anderen Autoren):
2012PaperbackFoundations of Algebraic Specification and Formal Software Development