Verification, Model Checking, and Abstract Interpretation

Name: Verification, Model Checking, and Abstract Interpretation
Brand: Springer ltd
SKU: 9783030670672
Price: 2985.00 INR
Availability: InStock

by Fritz Henglein, Sharon Shoham, Yakir Vizel

Springer ltd · 2020

₹2,985

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, Model Checking, and Abstract Interpretation is written by Fritz Henglein, Sharon Shoham, Yakir Vizel. This edition from Springer ltd (2020) has 240 pages.