Hoppa till sidans huvudinnehåll

Matt Kaufmann - Böcker

Visar alla böcker från författaren Matt Kaufmann.
4 produkter
Del 4 - Advances in Formal Methods

Computer-Aided Reasoning

ACL2 Case Studies

Av Matt Kaufmann, Panagiotis Manolios m. fl

Inbunden, Engelska, 2000

2 819 kr

Skickas inom 10-15 vardagar
Del 4 - Advances in Formal Methods

Computer-Aided Reasoning

ACL2 Case Studies

Av Matt Kaufmann, Panagiotis Manolios m. fl

Häftad, Engelska, 2010

2 819 kr

Skickas inom 10-15 vardagar

Interactive Theorem Proving

First International Conference, ITP 2010 Edinburgh, UK, July 11-14, 2010, Proceedings

Av Matt Kaufmann, Lawrence C. Paulson

Häftad, Engelska, 2010

1 449 kr

Skickas inom 10-15 vardagar

ACL2 Studies

Av Matt Kaufmann, Panagiotis Manolios m. fl

Inbunden, Engelska, 2000

5 219 kr

Slutsåld