Hardcover Book Paperback Book
显示无货商品

Matt Kaufmann的作品

Cover for Matt Kaufmann · Computer-aided Reasoning - Advances in Formal Methods (Paperback Book) [Softcover Reprint of the Original 1st Ed. 2000 edition] (2010)

Softcover Reprint of the Original 1st Ed. 2000 edition

Computer-aided Reasoning - Advan... (2010)

Cover for Matt Kaufmann · Interactive Theorem Proving: First International Conference, ITP 2010 Edinburgh, UK, July 11-14, 2010, Proceedings - Lecture Notes in Computer Science (Paperback Book) [2010 edition] (2010)

Interactive Theorem Proving: Fir... (2010)

Cover for Matt Kaufmann · Computer-Aided Reasoning: ACL2 Case Studies - Advances in Formal Methods (Hardcover Book) [2000 edition] (2000)

Computer-Aided Reasoning: ACL2 C... (2000)