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