MayDay Sale → Spare bis zu 60 %
Alles von 2 Matt Kaufmann auf Taschenbuch und Gebund... Buch
Kategorien
Andere
Kundenservice
EUR
![Cover for Matt Kaufmann · Computer-aided Reasoning - Advances in Formal Methods (Taschenbuch) [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-taschenbuch&class=scaled&v=1556228832)
![Cover for Matt Kaufmann · Computer-Aided Reasoning: ACL2 Case Studies - Advances in Formal Methods (Gebundenes Buch) [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-gebundenes-buch&class=scaled&v=1556228839)