Model Checking Software :14th International SPIN Workshop, Berlin, Germany, July 1-3, 2007, Proceedings - Lecture Notes in Computer Science

Model Checking Software

Model Checking Software :14th International SPIN Workshop, Berlin, Germany, July 1-3, 2007, Proceedings - Lecture Notes in Computer Science

(Author) (Author)
paperback
Published: 21 June, 2007
Standard worldwide delivery by Mon, July 6 - Thu, July 9
Order within 0
Condition: NEW
$71.00
Price includes shipping
Available 20 in stock
- +
Add to basket Wishlist This
FREE Returns within 30 days
More Details

Popular Books by Stefan Edelkamp

View All Books by Stefan Edelkamp
KI 2011: Advances in Artificial Intelligence
KI 2011: Advances in Artificial Intelligence
Stefan Edelkamp
$71.40
New
Add to basket
KI 2021: Advances in Artificial Intelligence
KI 2021: Advances in Artificial Intelligence
Stefan Edelkamp
$85.75 $87.28
New
Add to basket
Model Checking and Artificial Intelligence
Model Checking and Artificial Intelligence
Stefan Edelkamp
$61.90
New
Add to basket
Heuristic Search
Heuristic Search
Stefan Edelkamp
$77.53 $88.62
New
Add to basket
Computer Games
Computer Games
Stefan Edelkamp
$61.88
New
Add to basket
Computer Games
Computer Games
Stefan Edelkamp
$69.79
New
Add to basket

Description

This book presents the proceedings of the 14th International SPIN workshop on Model Checking Software, held in Berlin, Germany. Fourteen full papers are presented, together with four tool presentation papers and the abstracts of two invited talks. The papers are organized into topical sections covering directed model checking, partial order reduction, program analysis, exploration advances, modeling and case studies, and tool demonstrations.
See more

More Details

Type Book
ISBN13 9783540733690
ISBN10 3540733698
Number Of Pages 285
Item Weight 1000 g
Publisher / Reseller Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Format paperback
Edition 2007 ed.
See More +