Hoppa till sidans huvudinnehåll

J Strother Moore – författare

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

Computer-Aided Reasoning

ACL2 Case Studies

AvMatt Kaufmann,Panagiotis Manoliosm. fl.

Inbunden, Engelska, 2000

2 909 kr

Skickas inom 10-15 vardagar

Matt Kaufmann, Panagiotis Manolios, J Strother Moore - Computer-Aided Reasoning, Häftad

Computer-Aided Reasoning

ACL2 Case Studies

AvMatt Kaufmann,Panagiotis Manoliosm. fl.

Häftad, Engelska, 2010

2 909 kr

Skickas inom 10-15 vardagar

J Strother Moore - Piton, Häftad
Del 3 - Automated Reasoning Series

Piton

A Mechanically Verified Assembly-Level Language

AvJ Strother Moore

Häftad, Engelska, 2013

719 kr

Skickas inom 10-15 vardagar