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