Matt Kaufmann - Böcker

Visar alla böcker från författaren Matt Kaufmann.
3 produkter
Matt Kaufmann, Panagiotis Manolios, J Strother Moore - Computer-Aided Reasoning, Inbunden
Del 4 - Advances in Formal Methods

Computer-Aided Reasoning

Av Matt Kaufmann, Panagiotis Manolios, J Strother Moore

Inbunden, Engelska, 2000

2 879 kr

Skickas inom 10-15 vardagar
Matt Kaufmann, Panagiotis Manolios, J Strother Moore - Computer-Aided Reasoning, Häftad
Del 4 - Advances in Formal Methods

Computer-Aided Reasoning

Av Matt Kaufmann, Panagiotis Manolios, J Strother Moore

Häftad, Engelska, 2010

2 879 kr

Skickas inom 10-15 vardagar
Matt Kaufmann, Lawrence C. Paulson - Interactive Theorem Proving, Häftad

Interactive Theorem Proving

Av Matt Kaufmann, Lawrence C. Paulson

Häftad, Engelska, 2010

1 449 kr

Skickas inom 10-15 vardagar