All 2 Zhe Hou releases on Paperback Book and Hardcover Book
Categories
Other
Support
AUD
In stock at iMusic
Show unavailable items
![Cover for Zhe Hou · Fundamentals of Logic and Computation: With Practical Automated Reasoning and Verification - Texts in Computer Science (Paperback Book) [2021 edition] (2022)](https://imusic.b-cdn.net/images/item/original/849/9783030878849.jpg?zhe-hou-2022-fundamentals-of-logic-and-computation-with-practical-automated-reasoning-and-verification-texts-in-computer-science-paperback-book&class=scaled&v=1675803488)
![Cover for Zhe Hou · Fundamentals of Logic and Computation: With Practical Automated Reasoning and Verification - Texts in Computer Science (Hardcover Book) [2021 edition] (2021)](https://imusic.b-cdn.net/images/item/original/818/9783030878818.jpg?zhe-hou-2021-fundamentals-of-logic-and-computation-with-practical-automated-reasoning-and-verification-texts-in-computer-science-hardcover-book&class=scaled&v=1638198962)