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

Leveraging Applications of Formal Methods, Verification and Validation. Practice

11th International Symposium

by Tiziana Margaria, Bernhard Steffen

Springer International Publishing AG · 2022

₹5,441

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 ₹4,951 for this book (save ₹490).

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

About this book

Leveraging Applications of Formal Methods, Verification and Validation. Practice: 11th International Symposium is written by Tiziana Margaria & Bernhard Steffen. This edition is published by Springer International Publishing AG (2022).

Book details

ISBN-13
9783031197611
ISBN-10
3031197615
Authors
Tiziana Margaria, Bernhard Steffen
Publisher
Springer International Publishing AG
Published
2022
Edition
1st ed. 2022
Pages
424
Language
English
Condition
New
Subject
Computing & IT

More by Tiziana Margaria and related titles