Verification, Induction, Termination Analysis

Name: Verification, Induction, Termination Analysis: Festschrift for Christoph Walther on the Occasion of His 60th Birthday
Brand: Springer
SKU: 9783642171710
Price: 5461.00 INR
Availability: InStock

Festschrift for Christoph Walther on the Occasion of His 60th Birthday

by Simon Siegler, Nathan Wasser

Springer · 2010

₹5,461

Free delivery. Nothing extra to pay at checkout.

Delivery in 3–7 days to any serviceable pincode in India, with tracking.
Cash on delivery. Pay when the parcel reaches you.
15-day returns. See what qualifies.

About this book

Verification, Induction, Termination Analysis: Festschrift for Christoph Walther on the Occasion of His 60th Birthday is written by Simon Siegler & Nathan Wasser. This edition from Springer (2010).

The book deals with Logic design, Information systems, Computer science and Software engineering.