logo
0

EbookBell.com

Most ebook files are in PDF format, so you can easily read them using various software such as Foxit Reader or directly on the Google Chrome browser.
Some ebook files are released by publishers in other formats such as .awz, .mobi, .epub, .fb2, etc. You may need to install specific software to read these formats on mobile/PC, such as Calibre.

Please read the tutorial at this link:  https://ebookbell.com/faq 


We offer FREE conversion to the popular formats you request; however, this may take some time. Therefore, right after payment, please email us, and we will try to provide the service as quickly as possible.


For some exceptional file formats or broken links (if any), please refrain from opening any disputes. Instead, email us first, and we will try to assist within a maximum of 6 hours.

EbookBell Team

Model Checking Software 17th International Spin Workshop Enschede The Netherlands September 2729 2010 Proceedings 1st Edition Alessandro Cimatti Auth

  • SKU: BELL-1746342
Model Checking Software 17th International Spin Workshop Enschede The Netherlands September 2729 2010 Proceedings 1st Edition Alessandro Cimatti Auth
$ 31.00 $ 45.00 (-31%)

0.0

0 reviews

Model Checking Software 17th International Spin Workshop Enschede The Netherlands September 2729 2010 Proceedings 1st Edition Alessandro Cimatti Auth instant download after payment.

Publisher: Springer-Verlag Berlin Heidelberg
File Extension: PDF
File size: 3.57 MB
Pages: 263
Author: Alessandro Cimatti (auth.), Jaco van de Pol, Michael Weber (eds.)
ISBN: 9783642161636, 3642161634
Language: English
Year: 2010
Edition: 1

Product desciption

Model Checking Software 17th International Spin Workshop Enschede The Netherlands September 2729 2010 Proceedings 1st Edition Alessandro Cimatti Auth by Alessandro Cimatti (auth.), Jaco Van De Pol, Michael Weber (eds.) 9783642161636, 3642161634 instant download after payment.

This book constitutes the refereed proceedings of the 17th International SPIN workshop on Model Checking Software, SPIN 2010, held at the University of Twente, in Enschede, The Netherlands, in September 2010. The 13 revised full papers presented together with 2 tool papers and 3 invited talks were carefully reviewed and selected from 33 submissions. The papers are organized in topical sections on satisfiability modulo theories for model checking, model checking in context (simulation, testing, UML), implementation and performance of model checking, LTL and Büchi automata, extensions to infinite-state systems, and concurrent software.

Related Products

Model Checking Software 17th International Spin Workshop Enschede The Netherlands September 2729 2010 Proceedings 1st Edition Alessandro Cimatti Auth
-31%

Model Checking Software 17th International Spin Workshop Enschede The Netherlands September 2729 2010 Proceedings 1st Edition Alessandro Cimatti Auth

$45.00 $31.00
Model Checking Software 18th International Spin Workshop Snowbird Ut Usa July 1415 2011 Proceedings 1st Edition Jasmin Fisher Auth
-31%

Model Checking Software 18th International Spin Workshop Snowbird Ut Usa July 1415 2011 Proceedings 1st Edition Jasmin Fisher Auth

$45.00 $31.00
Model Checking Software 16th International Spin Workshop Grenoble France June 2628 2009 Proceedings 1st Edition Patrice Godefroid Auth
-31%

Model Checking Software 16th International Spin Workshop Grenoble France June 2628 2009 Proceedings 1st Edition Patrice Godefroid Auth

$45.00 $31.00
Model Checking Software 18th International Spin Workshop Snowbird Ut Usa July 1415 2011 Proceedings 1st Edition Jasmin Fisher Auth
-31%

Model Checking Software 18th International Spin Workshop Snowbird Ut Usa July 1415 2011 Proceedings 1st Edition Jasmin Fisher Auth

4.0

16 reviews
$45.00 $31.00
Model Checking Software 12th International Spin Workshop San Francisco Ca Usa August 2224 2005 Proceedings 1st Edition David Wagner Auth
-31%

Model Checking Software 12th International Spin Workshop San Francisco Ca Usa August 2224 2005 Proceedings 1st Edition David Wagner Auth

4.1

80 reviews
$45.00 $31.00
Model Checking Software 15th International Spin Workshop Los Angeles Ca Usa August 1012 2008 Proceedings 1st Edition Matthew B Dwyer
-31%

Model Checking Software 15th International Spin Workshop Los Angeles Ca Usa August 1012 2008 Proceedings 1st Edition Matthew B Dwyer

$45.00 $31.00
Model Checking Software 11th International Spin Workshop Barcelona Spain April 13 2004 Proceedings 1st Edition Reinhard Wilhelm Auth
-31%

Model Checking Software 11th International Spin Workshop Barcelona Spain April 13 2004 Proceedings 1st Edition Reinhard Wilhelm Auth

5.0

48 reviews
$45.00 $31.00
Model Checking Software 10th International Spin Workshop Portland Or Usa May 910 2003 Proceedings 1st Edition Theo C Ruys Auth
-31%

Model Checking Software 10th International Spin Workshop Portland Or Usa May 910 2003 Proceedings 1st Edition Theo C Ruys Auth

4.4

72 reviews
$45.00 $31.00
Model Checking Software 13th International Spin Workshop Vienna Austria March 30 April 1 2006 Proceedings 1st Edition Stefan Edelkamp
-31%

Model Checking Software 13th International Spin Workshop Vienna Austria March 30 April 1 2006 Proceedings 1st Edition Stefan Edelkamp

4.7

96 reviews
$45.00 $31.00