Skip to content
Same-day shipping9% off: code GIG9
BooksBajar.com
Cover of Leveraging Applications of Formal Methods, Verification and Validation

Leveraging Applications of Formal Methods, Verification and Validation

Tools and Trends

by Tiziana Margaria, Bernhard Steffen

Springer Nature Switzerland AG · 2021

₹3,963

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,606 for this book (save ₹357).

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

About this book

The publisher hasn't supplied a description for this edition. The details alongside are from the publisher's record.

Book details

ISBN-13
9783030837228
ISBN-10
303083722X
Authors
Tiziana Margaria, Bernhard Steffen
Publisher
Springer Nature Switzerland AG
Published
2021
Edition
1st ed. 2021
Pages
265
Language
English
Condition
New
Subject
Computing & IT