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

6th International Symposium

by Anna-Lena Lamprecht

Springer International Publishing AG · 2016

₹3,942

Free delivery. Nothing extra to pay at checkout.

Same Day ShippingIn 3–5 days
15-Day ReturnEasy returns
Genuine BookPhysical copy only

Available Offers

  • 🏷️Use code GIG9, pay ₹3,587 — save ₹355 (up to ₹500 off per order)
  • 💵Cash on Delivery — pay when the parcel reaches you
Share:

About this book

Leveraging Applications of Formal Methods, Verification, and Validation: 6th International Symposium is written by Anna-Lena Lamprecht. This edition is published by Springer International Publishing AG (2016).

The book deals with Software engineering and Computer science.

Book details

ISBN-13
9783319516400
ISBN-10
331951640X
Author
Anna-Lena Lamprecht
Publisher
Springer International Publishing AG
Published
2016
Edition
1st ed. 2016
Language
English
Condition
New
Subject
Software Development & Engineering

More in Software Development & Engineering