Fundamentals of Logic and Computation

Name: Fundamentals of Logic and Computation: With Practical Automated Reasoning and Verification
Brand: Springer-Nature New York Inc
SKU: 9783030878818
Price: 2892.00 INR
Availability: InStock

With Practical Automated Reasoning and Verification

by Zhe Hou

Springer-Nature New York Inc · 2022

₹2,892

Free delivery. Nothing extra to pay at checkout.

Delivery in 3–5 days to any serviceable pincode in India, with tracking.
Cash on delivery. Pay when the parcel reaches you.
15-day returns.
Express shipping. Same-day dispatch (Monday to Saturday), delivered all over India in 3–5 days.

Offer

Use code GIG9 at checkout and pay ₹2,632 for this book (save ₹260).

9% off every book, up to ₹500 off per order.

About this book

Fundamentals of Logic and Computation: With Practical Automated Reasoning and Verification is written by Zhe Hou. This edition is published by Springer-Nature New York Inc (2022).