Critical Systems

Name: Critical Systems: Formal Methods and Automated Verification
Brand: Manohar publishers & Distributors
SKU: 9783319671130
Price: 4346.00 INR
Availability: InStock

Formal Methods and Automated Verification

by Laure Petrucci, Cristina Seceleanu, Ana Cavalcanti

Manohar publishers & Distributors

₹4,346

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 ₹3,955 for this book (save ₹391).

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

About this book

Critical Systems: Formal Methods and Automated Verification by Laure Petrucci, Cristina Seceleanu, Ana Cavalcanti is a book published by Manohar publishers & Distributors.