Computer-Aided Reasoning: An Approach (Advances in Formal Methods)

出版社: Springer(2012-10-12)

ペーパーバック: 292 ページ / 15.6 x 1.6 x 23.4 cm

ISBN-10: 1461370035  ISBN-13: 9781461370031