Thomas Ball - Böcker
Visar alla böcker från författaren Thomas Ball. Handla med fri frakt och snabb leverans.
8 produkter
8 produkter
447 kr
Skickas inom 5-8 vardagar
317 kr
Skickas inom 5-8 vardagar
375 kr
Skickas inom 5-8 vardagar
216 kr
Skickas inom 5-8 vardagar
335 kr
Skickas inom 5-8 vardagar
Computer Aided Verification
18th International Conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings
Häftad, Engelska, 2006
1 096 kr
Skickas inom 10-15 vardagar
This book constitutes the refereed proceedings of the 18th International Conference on Computer Aided Verification, CAV 2006, held as part of the 4th Federated Logic Conference, FLoC 2006. Presents 35 revised full papers together with 10 tool papers and 4 invited papers adressing all current issues in computer aided verification and model checking - from foundational and methodological issues ranging to the evaluation of major tools and systems
Model Checking Software
10th International SPIN Workshop. Portland, OR, USA, May 9-10, 2003, Proceedings
Häftad, Engelska, 2003
552 kr
Skickas inom 10-15 vardagar
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.
Model Checking Software : 10th International SPIN Workshop. Portland, OR, USA, May 9-10, 2003, Proceedings
Engelska, 2014
653 kr
Skickas inom 5-8 vardagar