Model Checking Software

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

Paperback

€ 60,95

Afwijkende levertijd: 20-22 werkdagen
Model Checking Software

Paperback

€ 60,95

Nieuwe boeken gratis bezorgd vanaf € 17,50 binnen NL*
Altijd de laagste prijs voor nieuwe Nederlandstalige boeken
Ruilen of retourneren binnen 14 dagen
Koop lokaal, ook online!
Bekijk winkelvoorraad

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.
ISBN
9783642391750
Vorm
Paperback
Uitgever
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Druk
1e
Verschenen
01-01-2013
Taal
Engels
Pagina's
377 pp.
Genre
Informatica & Exacte vakken
Geen recensies beschikbaar.
pro-mbooks2 : libris