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

- 27th International Symposium, SPIN 2021, Virtual Event, July 12, 2021, Proceedings

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 27th International Symposium on Model Checking Software, SPIN 2021, held virtually in July 2021.The 3 full papers, 4 tool papers, and 1 case study presented together with 2 invited talks were carefully reviewed and selected from 20 submissions.

Show more
  • Language:
  • English
  • ISBN:
  • 9783030846282
  • Binding:
  • Paperback
  • Pages:
  • 195
  • Published:
  • August 3, 2021
  • Edition:
  • 12021
  • Dimensions:
  • 155x235x0 mm.
  • Weight:
  • 326 g.
Delivery: 1-2 weeks
Expected delivery: October 20, 2024

Description of Model Checking Software

This book constitutes the refereed proceedings of the 27th International Symposium on Model Checking Software, SPIN 2021, held virtually in July 2021.The 3 full papers, 4 tool papers, and 1 case study presented together with 2 invited talks were carefully reviewed and selected from 20 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.