The Object-Z Specification Language (Advances in Formal Methods)

出版社: Springer(2012-11-02)

ペーパーバック: 164 ページ / 15.5 x 0.9 x 23.5 cm

ISBN-10: 1461374014  ISBN-13: 9781461374015