MODEL CHECKING SOFTWARE: 12TH INTERNATIONAL SPIN WORKSHOP, SAN FRANCISCO, CA, USA, AUGUST 22-24, 2005, PROCEEDINGS
-10%
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.Current 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

Category: Tag:

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

Related products