This book constitutes the refereed proceedings of the 20th International Symposium on Model Checking Software, SPIN 2013, held in Stony Brook, NY, USA, in July 2013. The 18 regular papers, 2 tool demonstration papers, and 2 invited papers were carefully reviewed and selected from 40 submissions. The traditional focus of SPIN has been on explicit-state model checking techniques, as implemented in SPIN and other related tools. While such techniques are still of key interest to the w...
Beli ebook ini dan dapatkan 1 lagi PERCUMA!
Bahasa Inggeris ● Format PDF ● ISBN 9783642391767 ● Penyunting Ezio Bartocci & C. R. Ramakrishnan ● Penerbit Springer Berlin Heidelberg ● Diterbitkan 2013 ● Muat turun 3 kali ● Mata wang EUR ● ID 6323712 ● Salin perlindungan Adobe DRM
Memerlukan pembaca ebook yang mampu DRM