Fundamentals of Logic and Computation: With Practical Automated Reasoning and Verification (Texts in Computer Science)
Hou, Zhe
From Books Puddle, New York, NY, U.S.A.
Seller rating 4 out of 5 stars
AbeBooks Seller since November 22, 2018
New - Soft cover
Quantity: 1 available
Add to basket