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

- 23rd International Symposium, SPIN 2016, Co-located with ETAPS 2016, Eindhoven, The Netherlands, April 7-8, 2016, Proceedings

part of the Lecture Notes in Computer Science series

part of the Theoretical Computer Science and General Issues series

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

This bookconstitutes the refereed proceedings of the 23rd International Symposium on ModelChecking Software, SPIN 2016, held in Eindhoven, The Netherlands, in April 2016. The 16 papers presented, consisting of 11 regular papers, 1 idea paper, and 4tool demonstrations, were carefully reviewed and selected from 27 submissions.

Show more
  • Language:
  • English
  • ISBN:
  • 9783319325811
  • Binding:
  • Paperback
  • Pages:
  • 245
  • Published:
  • April 7, 2016
  • Edition:
  • 12016
  • Dimensions:
  • 155x235x14 mm.
  • Weight:
  • 4044 g.
Delivery: 2-4 weeks
Expected delivery: February 9, 2025

Description of Model Checking Software

This bookconstitutes the refereed proceedings of the 23rd International Symposium on ModelChecking Software, SPIN 2016, held in Eindhoven, The Netherlands, in April 2016. The 16 papers presented, consisting of 11 regular papers, 1 idea paper, and 4tool demonstrations, 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.