Introduction to Abstract Algebra
$17.09 - $140.77
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