Model Checking SoftwareAuthor :
Paperback
Published : Tuesday 23 August 2022
Description
This book constitutes the refereed proceedings of the 28th International Symposium on Model Checking Software, SPIN 2022, held virtually in May 2022.The 8 full papers were carefully reviewed and selected from 11 submissions. formal analysis for modeling languages, such as UML/state charts;
You may also like ...
by
Paperback
23 Aug 2022
Computer hardware
€93.59
Extended stock – Dispatch 5-7 days
by
Paperback
06 Oct 2024
Virtual reality
€64.29
by
Paperback
11 Dec 2022
Business and the environment; `green approaches to business
€105.29
Extended stock – Dispatch 5-7 days
by
Hardback
11 Dec 2021
Business and the environment; `green approaches to business
€128.69
Extended stock – Dispatch 5-7 days
Reviews