Skip to content
Free delivery across IndiaCash on delivery
BooksBajar
Cover of Systems and Software Verification

Systems and Software Verification

Model-Checking Techniques and Tools

by B. Berard, F. Laroussinie, A. Finkel, A. Petit, M. Bidoit

Springer Nature · 2010

₹10,821

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

Systems and Software Verification: Model-Checking Techniques and Tools is written by B. Berard, F. Laroussinie & others. This edition from Springer Nature (2010) has 208 pages.

Topics covered include Software engineering, Information Systems, Computer science and Artificial intelligence.

Book details

ISBN-13
9783642074783
ISBN-10
3642074782
Authors
B. Berard, F. Laroussinie, A. Finkel, A. Petit, M. Bidoit
Publisher
Springer Nature
Published
2010
Edition
Softcover reprint of hardcover 1st ed. 2001
Pages
208
Language
English
Condition
New
Subject
Business & Economics

More in Business & Economics

See all