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

- 22nd International Symposium, SPIN 2015, Stellenbosch, South Africa, August 24-26, 2015, Proceedings

part of the Lecture Notes in Computer Science series

part of the Theoretical Computer Science and General Issues series

Model Checking Software Save 11% from RPP Save 11%
About Model Checking Software

This book constitutes the refereed proceedings of the 22nd International Symposium on Model Checking Software, SPIN 2015, held in Stellenbosch, South Africa, in August 2015. The 18 papers presented - 14 regular papers and 4 tool or new idea papers - were carefully reviewed and selected from 27 submissions.

Show more
  • Language:
  • English
  • ISBN:
  • 9783319234038
  • Binding:
  • Paperback
  • Pages:
  • 319
  • Published:
  • September 3, 2015
  • Edition:
  • 12015
  • Dimensions:
  • 155x235x18 mm.
  • Weight:
  • 5153 g.
Delivery: 2-4 weeks
Expected delivery: November 1, 2024

Description of Model Checking Software

This book constitutes the refereed proceedings of the 22nd International Symposium on Model Checking Software, SPIN 2015, held in Stellenbosch, South Africa, in August 2015. The 18 papers presented - 14 regular papers and 4 tool or new idea papers - were carefully reviewed and selected from 27 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.