Több mint 4 millió cím angol és más nyelveken! Fedezd fel új történetedet még ma!

Model Checking Software

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

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

Szerző: Georgiana Caltais, Christian Schilling

Nyelv:

Kötés: Puha kötésű

Kiadó: Springer Nature B.V.

Elérhetőség: Beszállítói készleten

Küldés 10-18 napon belül

20 463 Ft

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

Információk a könyvről

Szerző

Georgiana Caltais, Christian Schilling

Nyelv

Angol

Kötés

Könyv - Puha kötésű

Kiadva

2023

oldal

212

EAN

9783031321580

Enbook ID

43418416

Kiadó

Springer Nature B.V.

Súly

305

Méretek

156 x 234

Teljes leírás

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.