Køb for 499 kr mere for gratis levering til pakkeshop
499 kr
Pakkeshop
599 kr
Hjemmelevering
Gemte
Log ind
0
Kurv
Kurv
Model Checking Software
- 20th International Symposium, SPIN 2013, Stony Brook, NY, USA, July 8-9, 2013, Proceedings
Engelsk
Bogcover for Model Checking Software af , 9783642391750
Specifikationer
Sprog:
Engelsk
Sider:
377
ISBN-13:
9783642391750
Indbinding:
Paperback
ISBN-10:
3642391753
Udg. Dato:
19 jul 2013
Størrelse i cm:
23,5 x 15,5
Oplagsdato:
19 jul 2013

Model Checking Software

- 20th International Symposium, SPIN 2013, Stony Brook, NY, USA, July 8-9, 2013, Proceedings
Engelsk
Paperback 2013
Format:

Bog beskrivelse
This book constitutes the refereed proceedings of the 20th International Symposium on Model Checking Software, SPIN 2013, held in Stony Brook, NY, USA, in July 2013. The 18 regular papers, 2 tool demonstration papers, and 2 invited papers were carefully reviewed and selected from 40 submissions. The traditional focus of SPIN has been on explicit-state model checking techniques, as implemented in SPIN and other related tools. While such techniques are still of key interest to the workshop, its scope has broadened over recent years to include techniques for the verification and formal testing of software systems in general.
... Vis mere

Forlags Vejl. pris
524,24 kr
Hos Booktok
409 kr
spar 22%
Læg i kurv nu
Sikker betaling
90 dages retur
23 - 25 hverdage

Specifikationer
Sprog:
Engelsk
Sider:
377
ISBN-13:
9783642391750
Indbinding:
Paperback
ISBN-10:
3642391753
Udg. Dato:
19 jul 2013
Størrelse i cm:
23,5 x 15,5
Oplagsdato:
19 jul 2013
Finder produkter...
Kategori sammenhænge