CASL User Manual: Introduction to Using the Common Algebraic Specification Language (Lecture Notes in Computer Science, 2900)

出版社: Springer(2008-06-13)

ペーパーバック: 260 ページ / 15.5 x 1.5 x 23.5 cm

ISBN-10: 354020766X  ISBN-13: 9783540207665