Computer-Aided Reasoning: ACL2 Case Studies (Advances in Formal Methods)

出版社: Springer(2001-02-15)

ペーパーバック: 648 ページ / 15.9 x 5.1 x 23.5 cm

ISBN-10: 0792378806  ISBN-13: 9780792378808