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

出版社: Springer(2014-03-01)

ペーパーバック: 600 ページ / 15.5 x 3.5 x 23.5 cm

ISBN-10: 3642440657  ISBN-13: 9783642440656