Hoppa till sidans huvudinnehåll

J Strother Moore - Böcker

Visar alla böcker från författaren J Strother Moore.
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 849 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 839 kr

Skickas inom 10-15 vardagar
Del 3 - Automated Reasoning Series

Piton

A Mechanically Verified Assembly-Level Language

Av J Strother Moore, J. Strother Moore

Häftad, Engelska, 2013

719 kr

Skickas inom 10-15 vardagar

Introduction to Abstract Algebra

Av J. Strother Moore

Inbunden, Engelska, 1975

1 439 kr

Slutsåld