shop by
Category
items
0 

Model Checking Software: 15th International SPIN Workshop, Los Angeles, CA, USA, August 10-12, 2008 Proceedings (Hardcover)

Customer Reviews   Write a Review

Be the first to review this item and earn 25 Rakuten Super Points™

Product Overview

This book constitutes the refereed proceedings of the 15th International SPIN workshop on Model Checking Software, SPIN 2008, held in Los Angeles, CA, USA, in August 2008.

The 17 revised full papers presented together with 1 tool paper and 4 invited talks were carefully reviewed and selected from 41 submissions. The main focus of the workshop series is software systems, including models and programs. The papers cover theoretical and algorithmic foundations as well as tools for software model checking and foster interactions and exchanges of ideas with related areas in software engineering, such as static analysis, dynamic analysis, and testing.

Specifications

Publisher Springer
Mfg Part# 9783540851134
SKU 208447743
Format Hardcover
ISBN10 3540851135
Release Date 8/1/2008
loading
Sold Out
Sorry, you missed the deal!
This product is currently not available.
ADVERTISEMENT
Promotions & Offers (1)
  •  custom promo
    5% Back* Sitewide with Promo Code Rewardme *See page for details
ADVERTISEMENT
ADVERTISEMENT