MayDay Sale → Spar opptil 60 %
Alle 3 Matt Kaufmann utgivelser på Pocketbok og Innb...n bok
Kategorier
Annen
Kundeservice
NOK
![Cover for Matt Kaufmann · Computer-aided Reasoning - Advances in Formal Methods (Pocketbok) [Softcover Reprint of the Original 1st Ed. 2000 edition] (2010)](https://imusic.b-cdn.net/images/item/original/813/9781441949813.jpg?matt-kaufmann-2010-computer-aided-reasoning-advances-in-formal-methods-pocketbok&class=scaled&v=1556228832)
![Cover for Matt Kaufmann · Interactive Theorem Proving: First International Conference, ITP 2010 Edinburgh, UK, July 11-14, 2010, Proceedings - Lecture Notes in Computer Science (Pocketbok) [2010 edition] (2010)](https://imusic.b-cdn.net/images/item/original/518/9783642140518.jpg?matt-kaufmann-2010-interactive-theorem-proving-first-international-conference-itp-2010-edinburgh-uk-july-11-14-2010-proceedings-lecture-notes-in-computer-science-pocketbok&class=scaled&v=1427453843)
![Cover for Matt Kaufmann · Computer-Aided Reasoning: ACL2 Case Studies - Advances in Formal Methods (Innbunden bok) [2000 edition] (2000)](https://imusic.b-cdn.net/images/item/original/495/9780792378495.jpg?matt-kaufmann-2000-computer-aided-reasoning-acl2-case-studies-advances-in-formal-methods-innbunden-bok&class=scaled&v=1556228839)