Над 4 милиона заглавия на английски и други езици! Открийте новата си история още днес! Безплатна доставка за поръчки над 69.99€

Виж статуса на поръчката

Свържете се с нас

Model Checking Software

Name: Model Checking Software
Brand: Springer Nature B.V.
SKU: 9783031321580
Price: 58.0 EUR
Availability: InStock

29th International Symposium, SPIN 2023, Paris, France, April 26-27, 2023, Proceedings

Автор: Georgiana Caltais, Christian Schilling

Език:

Корици: С меки корици

Издател: Springer Nature B.V.

Наличност: Външен склад

Изпращаме след 10-18 дни

58.00 € 113.44 лв

This book constitutes the refereed proceedings of the 29th International Symposium on Model Checking...

Информация за книгата

Автор

Georgiana Caltais, Christian Schilling

Език

Английски език

Корици

Книга - С меки корици

Издадена

2023

страници

212

EAN

9783031321580

Enbook ID

43418416

Издател

Springer Nature B.V.

Теглоt

305

Размери

156 x 234

Пълно описание

This book constitutes the refereed proceedings of the 29th International Symposium on Model Checking Software, SPIN 2023, held in Paris, France, during April 26-27, 2023.

The 9 full papers and 2 short papers included in this book were carefully reviewed and selected from 21 submissions. They were organized in topical sections as follows: binary decision diagrams, concurrency, testing, synthesis, explicit-state model checking.