Verification, Model Checking, and Abstract Interpretation

Name: Verification, Model Checking, and Abstract Interpretation
Brand: MANJUL PuBLICATION
SKU: 9783030112455
Price: 2884.00 INR
Availability: InStock

by Ruzica Piskac Constantin Enea

MANJUL PuBLICATION · 2018

₹2,884

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

Published by MANJUL PuBLICATION in 2018, Verification, Model Checking, and Abstract Interpretation by Ruzica Piskac Constantin Enea runs to 240 pages.