Introduction to Abstract Algebra
$16.99 - $144.98
Computer-Aided Reasoning: An Approach (Advances in Formal Methods)
Out of Stock
Piton: A Mechanically Verified Assembly-Level Language (Automated Reasoning Series)
Out of Stock
Computational Logic Handbook (Academic Press International Series in Formal Methods)
Out of Stock