Description
- ISBN-10: 9783540281955
- ISBN-13: 978-3540281955
- Edition: 2005th
- Publication date: 9 August 2005
- Language: English
- Dimensions: 15.49 x 1.75 x 23.5 cm
- Print length: 292 pages
Availability: In Stock
MODEL CHECKING SOFTWARE: 12TH INTERNATIONAL SPIN WORKSHOP, SAN FRANCISCO, CA, USA, AUGUST 22-24, 2005, PROCEEDINGS
SKU: 9783540281955
Original price was: ₹7,317.45.₹6,585.71Current price is: ₹6,585.71.
Explore the cutting edge of software verification with “MODEL CHECKING SOFTWARE: 12TH INTERNATIONAL SPIN WORKSHOP, SAN FRANCISCO, CA, USA, AUGUST 22-24, 2005, PROCEEDINGS.” This essential volume from The Bookish Owl presents the latest research and advancements from the SPIN workshop, a pivotal event for model checking technology. Discover innovative techniques and practical applications for ensuring the correctness and reliability of complex software systems. Ideal for researchers, developers, and students in computer science, this book offers deep insights into formal methods and automated reasoning. Dive into the proceedings of this significant workshop held in San Francisco and enhance your understanding of state-of-the-art model checking software.
5 in stock
Description
Related products
-
AI to A+: Mastering the Art of AI Content Crafting
0Original price was: ₹299.25.₹299.25Current price is: ₹299.25. -
HANDBOOK OF MOBILE SYSTEMS APPLICATIONS AND SERVICES: 1 (Mobile Services and Systems)
0Original price was: ₹13,804.00.₹13,804.00Current price is: ₹13,804.00.
![NON LINEAR AND DYNAMIC PROGRAMMING (PB 2020) [Paperback] SUDHIR KUMAR PUNDIR](https://book1.b-cdn.net/wp-content/uploads/2025/04/67efbb3488ff09784-400x400.jpg)
![MICROPROCESSORS AND INTERFACING DEVICES (PB 2015) [Paperback] SINGH R.](https://book1.b-cdn.net/wp-content/uploads/2025/04/67efbc0fbafd96311-400x400.jpg)
![Advanced Digital Communication Laboratory Manual (Pb 2013) [Paperback] SHARAN P.](https://book1.b-cdn.net/wp-content/uploads/2025/04/67eff920a1b725674-375x400.jpg)
