Viac ako 4 milióny titulov v angličtine aj ďalších jazykoch! Objavte svoj nový príbeh ešte dnes!

Model Checking Software

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

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

Autor: Georgiana Caltais, Christian Schilling

Jazyk:

Väzba: Brožovaná

Vydavateľ: Springer Nature B.V.

Dostupnosť: Skladom u dodávateľa

Odosielame za 10-18 dní

55.07 €

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

Informácie o knihe

Autor

Georgiana Caltais, Christian Schilling

Jazyk

Angličtina

Väzba

Kniha - Brožovaná

Vydalo

2023

Stránok

212

EAN

9783031321580

Enbook ID

43418416

Vydavateľ

Springer Nature B.V.

Hmotnosť

305

Rozmery

156 x 234

Kompletný popis

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.