Model Checking Software (English, Dragan Bosnacki | Stefan Leue)
by Dragan Bosnacki | Stefan Leue
Delivery options
Model Checking Software by Dragan Bosnacki | Stefan Leue is listed under Computers & Internet on BookBajar. Full details, specifications and reader reviews are below.
Book Details
Publisher
Springer
Language
English
ISBN-13
9783540434771
ISBN-10
3540434771
Author
Dragan Bosnacki | Stefan Leue
About the Book
The SPIN workshop series brings together researchers and practitioners int- ested in explicit state model checking technology as it is applied to the veri?- tion of software systems. Since 1995, when the SPIN workshop series was instigated, SPIN workshops have been held on an annual basis at Montr eal (1995), New Brunswick (1996), Enschede (1997), Paris (1998), Trento (1999), Toulouse (1999), Stanford (2000), andToronto(2001). Whilethe?rstSPINwor…
ISBN: 9783540434771
ISBN-13: 9783540434771
ISBN-10: 3540434771
Reader's Guide
What This Book Covers
- ·The main subject matter of Model Checking Software
- ·Ideas and detail relevant to Computers & Internet
- ·Context that helps make sense of the material as a whole
Best Suited For
Developers, IT professionals, and CS students.
Why It Stands Out
- ·Ships as a genuine physical copy, checked before dispatch
- ·Covered by BookBajar's 15-day return window
Frequently Asked Questions
What is the price of Model Checking Software?
Model Checking Software starts from ₹5510 at BookBajar. Available in Paperback.
Who is the author of Model Checking Software?
Dragan Bosnacki | Stefan Leue is the author of Model Checking Software. Browse more books by Dragan Bosnacki | Stefan Leue on BookBajar.
Is Model Checking Software available in Paperback and Hardcover?
Yes, Model Checking Software is available in Paperback on BookBajar. Select your preferred format on the product page.
Does BookBajar offer free delivery for Model Checking Software?
Yes, BookBajar offers free delivery for Model Checking Software across India. No minimum order value required.
Is Cash on Delivery available for Model Checking Software?
Yes, Cash on Delivery (COD) is available for Model Checking Software on BookBajar. You can pay when your order is delivered.
What is BookBajar's return policy on Model Checking Software?
Model Checking Software can be returned within 15 days of delivery for a full refund. Reach out to info@bookbajar.in or call +91 9087 410 993 to start a return.
What is the ISBN of Model Checking Software?
Model Checking Software has ISBN 9783540434771 (ISBN-10: 3540434771). Use this to confirm you're ordering the exact edition listed here.
What can I expect from Model Checking Software?
About the Book The SPIN workshop series brings together researchers and practitioners int- ested in explicit state model checking technology as it is applied to the veri?- tion of software systems.
Product ID: isbn-9783540434771
🛒 Customers Also Bought
Financial Cryptography (English, Rafael Hirschfeld)
₹5,586
Guide to Wireless Network Security (English, John R. Vacca)
₹4,046
Softwaresysteme Und Ihre Modellierung (English, Peter Tabeling)
₹2,269
Developing Statistical Software in FORTRAN 95 (English, David R. Lemmon | Joseph L. Schafer)
₹2,219
Digitale Hardware/Software-Systeme (English, Jürgen Teich | Christian Haubelt)
₹2,779
Computer-Streifzüge (English, Prof Dr Max Jeger)
₹3,508Related Products
Open Internet Security (English, Stephan Fischer | Christoph Rensing | Utz Rödig)
₹3,360
Das Internet Der Dinge (English, Elgar Fleisch | Friedemann Mattern)
₹3,143
Digitale Wasserzeichen (English, Jana Dittmann)
₹2,415
Software-Entwurf Mit UML 2 (English, Jochen Seemann | Jürgen Wolff Von Gudenberg)
₹5,548
Computer Algebra Recipes (English, Richard H. Enns | George C. McGuire)
₹5,637