Fundamentals Of Logic And Computation : With Practical Automated Reasoning And Verification
Springer
ISBN13:
9783030878818
$82.16
- | Author: Zhe Hou
- | Publisher: Springer
- | Publication Date: Jan 04, 2022
- | Number of Pages: 232 pages
- | Language: English
- | Binding: Hardcover
- | ISBN-10: 3030878813
- | ISBN-13: 9783030878818
- Author:
- Zhe Hou
- Publisher:
- Springer
- Publication Date:
- Jan 04, 2022
- Number of pages:
- 232 pages
- Language:
- English
- Binding:
- Hardcover
- ISBN-10:
- 3030878813
- ISBN-13:
- 9783030878818