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

- 26th International Symposium, SPIN 2019, Beijing, China, July 15-16, 2019, Proceedings

part of the Theoretical Computer Science and General Issues series

part of the Lecture Notes in Computer Science series

Model Checking Software
About Model Checking Software

This book constitutes the refereed proceedings of the 26th International Symposium on Model Checking Software, SPIN 2019, held in Beijing, China, in July 2019. The 11 full papers presented and 2 demo-tool papers, were carefully reviewed and selected from 29 submissions. formal analysis for modeling languages, such as UML/state charts;

Show more
  • Language:
  • English
  • ISBN:
  • 9783030309220
  • Binding:
  • Paperback
  • Pages:
  • 261
  • Published:
  • September 14, 2019
  • Edition:
  • 12019
  • Dimensions:
  • 155x235x0 mm.
  • Weight:
  • 454 g.
Delivery: 2-4 weeks
Expected delivery: November 1, 2024

Description of Model Checking Software

This book constitutes the refereed proceedings of the 26th International Symposium on Model Checking Software, SPIN 2019, held in Beijing, China, in July 2019. The 11 full papers presented and 2 demo-tool papers, were carefully reviewed and selected from 29 submissions. formal analysis for modeling languages, such as UML/state charts;

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.