Op werkdagen voor 23:00 besteld, morgen in huis Gratis verzending vanaf €20
,

Model Checking Software

19th International SPIN Workshop, Oxford, UK, July 23-24, 2012. Proceedings

Paperback Engels 2012 9783642317583
Verwachte levertijd ongeveer 8 werkdagen

Samenvatting

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.

Specificaties

ISBN13:9783642317583
Taal:Engels
Bindwijze:paperback
Aantal pagina's:261
Uitgever:Springer Berlin Heidelberg
Druk:2012

Lezersrecensies

Wees de eerste die een lezersrecensie schrijft!

Geef uw waardering

Zeer goed Goed Voldoende Matig Slecht

Managementboek Top 100

Rubrieken

Populaire producten

    Personen

      Trefwoorden

        Model Checking Software