J. Strother Moore

Popular items by J. Strother Moore

View all offers

A Computational Logic
Boyer, Robert S

Item prices starting from

US$ 41.96

View 2 offers

Also find
New, Used
Piton: A Mechanically Verified Assembly-Level Language (Automated Reasoning Series)
Moore, J Strother

Item prices starting from

US$ 59.54

View 12 offers

Also find
New