Authors | |
Publisher | Springer Nature Switzerland AG |
Year | 05/12/2022 |
Pages | 222 |
Version | paperback |
Readership level | Professional and scholarly |
Language | English |
ISBN | 9783030878849 |
Categories | Computer hardware |
Fundamentals of Logic and Computation: With Practical Automated Reasoning and Verification