Model Checking Software
€ 119,90
Disponível para envio em 4/5 dias
Informação do Produto
| ISBN | 9783031150760 |
|---|---|
| Editora | Springer International Publishing AG |
| Preço (iva excl.) | € 113,11 |
| Imposto | € 6,79 |
| Preço (iva inc.) | € 119,90 |
| Disponibilidade | 1 unidade em armazém externo |
Descrição do Produto
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;