J Strother Moore - Böcker

Visar alla böcker från författaren J Strother Moore.

3 produkter

Kategorier

3 produkter

Computer-Aided Reasoning

ACL2 Case Studies

AvMatt Kaufmann,Panagiotis Manolios m. fl.

Inbunden, Engelska, 2000

2 759 kr

Skickas inom 10-15 vardagar

Computer-Aided Reasoning

ACL2 Case Studies

AvMatt Kaufmann,Panagiotis Manolios m. fl.

Häftad, Engelska, 2010

2 749 kr

Skickas inom 10-15 vardagar

Piton

A Mechanically Verified Assembly-Level Language

AvJ Strother Moore,J. Strother Moore

Häftad, Engelska, 2013

689 kr

Skickas inom 10-15 vardagar