Matt Kaufmann

Popular items by Matt Kaufmann

View all offers

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

Item prices starting from

� 109.84

View 25 offers

Also find
New, Used
Interactive Theorem Proving: First International Conference, ITP 2010 Edinburgh, UK, July 11-14, 2010, Proceedings: 6172 (Lecture Notes in Computer Science, 6172)

Item prices starting from

� 114.25

View 5 offers

Also find
New, Used
ACL2 Studies (Pt. 1) (Advances in Formal Methods)
Kaufmann, Matt; Manolios, Panagiotis; Moore, J. Strother

Item prices starting from

� 300.51

View 2 offers

Also find
Used