Fundamentals of Logic and Computation: With Practical Automated Reasoning and Verification 2021 Edition Contributor(s): Hou, Zhe (Author) |
|
ISBN: 3030878813 ISBN-13: 9783030878818 Publisher: Springer OUR PRICE: $61.74 Product Type: Hardcover - Other Formats Published: December 2021 |
Additional Information |
BISAC Categories: - Computers | Logic Design - Computers | Computer Science - Mathematics | Logic |
Physical Information: 0.56" H x 6.14" W x 9.21" (1.11 lbs) 222 pages |