We a good story
4.1 / 5 on Trustpilot
Quick delivery in the UK
Trusted Ecommerce Europe
Help
Login
  1. Home
  2. Books
  3. Business & Education
  4. Computing & IT
  5. Model Checking Software

Model Checking Software

- 20th International Symposium, SPIN 2013, Stony Brook, NY, USA, July 8-9, 2013, Proceedings

part of the Lecture Notes in Computer Science series

part of the Theoretical Computer Science and General Issues series

Model Checking Software
About Model Checking Software

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.

Show more
  • Language:
  • English
  • ISBN:
  • 9783642391750
  • Binding:
  • Paperback
  • Pages:
  • 377
  • Published:
  • July 19, 2013
  • Edition:
  • 2013
  • Dimensions:
  • 155x235x20 mm.
  • Weight:
  • 593 g.
Delivery: 2-4 weeks
Expected delivery: November 1, 2024

Description of Model Checking Software

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.

User ratings of Model Checking Software



Others also bought..
Find similar books
The book Model Checking Software can be found in the following categories:

Join thousands of book lovers

Sign up to our newsletter and receive discounts and inspiration for your next reading experience.