Skip to content
Free delivery across IndiaCash on delivery
BooksBajar
Cover of Model Checking Software

Model Checking Software

22nd International Symposium, Spin 2015: 9232

by Bernd Fischer, Jaco Geldenhuys

Springer-Nature New York Inc · 2015 · Paperback

₹3,947

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

Published by Springer-Nature New York Inc in 2015, Model Checking Software: 22nd International Symposium, Spin 2015: 9232 by Bernd Fischer & Jaco Geldenhuys runs to 300 pages in paperback.

Its main subjects are Computer simulation.

Book details

ISBN-13
9783319234038
ISBN-10
331923403X
Authors
Bernd Fischer, Jaco Geldenhuys
Published
2015
Edition
1st ed. 2015
Binding
Paperback
Pages
300
Language
English
Condition
New
See all