Copied Model Checking Software
Model Checking Software
This book constitutes the refereed proceedings of the 10th International SPIN workshop on Model Checking of Software, SPIN 2003, held in Portland, OR, USA in May 2003 as an ICSE 2003 satellite workshop. The 14 revised full papers and 3 revised tool papers presented were carefully reviewed and selected from 30 submissions. The book presents state-of-the-art results on the analysis and verification of distributed software systems using the SPIN model checker as one of the most powerful and widely applied systems.
Price Comparison
| Seller | Contact Seller | List Price | On Sale | Shipping | Best Promo | Final Price | Volume Discount | Financing | Availability | Seller's Page |
|---|---|---|---|---|---|---|---|---|---|---|
|
BEST PRICE 1 Product Purchase
|
|
$39.99 | $39.99 |
|
$36.00 | See Site | In stock | Visit Store |
Reviews
Questions & Answers
Reactive Power Management of Power Networks with Wind Generation
$109.99
From Dialogue to Epilogue Marxism and Catholicism Tomorrow
$54.99
Berufsbedingte Erkrankungen der Lendenwirbelsule
$69.99
Lamto
$219.99
Preferential Voting Systems
$79.99
Bioinformatics for Immunomics
$169.00
Zivile Gesellschaft
$59.99
Baubetriebliche Optimierung des vollwandigen Beton-3D-Drucks
$84.99
Management von Gro- und Megaprojekten im Bauwesen
$64.99
Cyber Operations
$69.99
Environmental Security of the European Cross-Border Energy Supply Infrastructure
$109.99
Advances in Ad Hoc Networking
$84.99
Revival of a City
$109.99
Fashion, Work, and Politics in Modern France
$54.99
We Don't Become Refugees by Choice
$109.99
Computer Safety, Reliability, and Security
$39.99
Performance of Information and Communication Systems
$219.99
Mediation and Alternative Dispute Resolution in Modern China
$109.00
World Congress on Medical Physics and Biomedical Engineering September 7 - 12, 2009 Munich, Germany
$219.99
Pro Full-Text Search in SQL Server 2008
$49.99
Novel Biomarkers in the Continuum of Breast Cancer
$109.99
The Meaning of Marriage- Facing the Complexities of Commitment with the Wisdom of God by Timothy Keller
$19.00
Advances in Practical Applications of Survivable Agents and Multi-Agent Systems: The PAAMS Collectio
$54.99
Chinese Narratologies
$109.99
Evidence-Based Decision Making in Dentistry
$159.99
Space Governance
$149.00
Dictionary of Minor Planet Names
$129.00
Pig
$4.46
Die Schicksale der Transfusion im Letzten Decennium
$44.99
Strength Failure and Crack Evolution Behavior of Rock Materials Containing Pre-existing Fissures
$159.99
Patrick Suppes: Scientific Philosopher
$169.00
Macca la alpaca
$5.24
Microeconometric Evaluation of Labour Market Policies
$54.99
Traffic Monitoring and Analysis
$44.99
Hematological Malignancies
$89.00
Bacterial Infections
$84.99
Mediated Identities in the Futures of Place: Emerging Practices and Spatial Cultures
$109.99
Practical Inorganic Chemistry
$129.99
Zwangsvollstreckung Konkurs und Vergleich
$59.99
Econometrics in Theory and Practice
$149.00
