Atnaujintas knygų su minimaliais defektais pasiūlymas! Naršykite ČIA >>

Model Checking Software: 19th International SPIN Workshop, Oxford, UK, July 23-24, 2012. Proceedings

-20% su kodu: BOOKS
62,34 
Įprasta kaina: 77,92 
-20% su kodu: BOOKS
Kupono kodas: BOOKS
Akcija baigiasi: 2025-03-09
-20% su kodu: BOOKS
62,34 
Įprasta kaina: 77,92 
-20% su kodu: BOOKS
Kupono kodas: BOOKS
Akcija baigiasi: 2025-03-09
-20% su kodu: BOOKS
2025-02-28 77.9200 InStock
Nemokamas pristatymas į paštomatus per 11-15 darbo dienų užsakymams nuo 10,00 

Knygos aprašymas

This book constitutes the thoroughly refereed proceedings of the 19th International SPIN workshop on Model Checking Software, SPIN 2012, held in Oxford, UK, in July 2012. The 11 revised full papers presented together with 5 tool papers and 4 invited talks were carefully reviewed and selected from 30 submissions. The papers are grouped in topical sections on model checking techniques; parallel model checking; case studies; model checking for concurrency; and tool demonstrations.

Informacija

Leidėjas: Springer Berlin Heidelberg
Išleidimo metai: 2012
Knygos puslapių skaičius: 272
ISBN-10: 3642317588
ISBN-13: 9783642317583
Formatas: 235 x 155 x 15 mm. Knyga minkštu viršeliu
Kalba: Anglų

Pirkėjų atsiliepimai

Parašykite atsiliepimą apie „Model Checking Software: 19th International SPIN Workshop, Oxford, UK, July 23-24, 2012. Proceedings“

Būtina įvertinti prekę

Goodreads reviews for „Model Checking Software: 19th International SPIN Workshop, Oxford, UK, July 23-24, 2012. Proceedings“