(eBook PDF) Fundamentals of Logic and Computation With Practical Automated Reasoning and Verification
(eBook PDF) Fundamentals of Logic and Computation With Practical Automated Reasoning and Verification
ibuks
MSRP:
Was:
Now:
$19.99
(You save
)
(No reviews yet)
Write a Review
Write a Review
ibuks
(eBook PDF) Fundamentals of Logic and Computation With Practical Automated Reasoning and Verification
- SKU:
- UPC:
- Condition:
- New
ibuks
(eBook PDF) Symbolic Computation and Automated Reasoning 1st Edition The CALCULEMUS-2000 Symposium
MSRP:
Was:
Now:
$30.00
ibuks
(eBook PDF) Thinking Programs Logical Modeling and Reasoning About Languages, Data, Computations, and Executions
MSRP:
Was:
Now:
$24.99
ibuks
(eBook PDF) Simple Type Theory A Practical Logic for Expressing and Reasoning About Mathematical Ideas
MSRP:
Was:
Now:
$29.99
!