Automated Technology for Verification and Analysis

6th International Symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008, Proceedings

Paperback

€ 99,00

Afwijkende levertijd: 46 - 48 werkdagen.
Automated Technology for Verification and Analysis

Paperback

€ 99,00

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

The papers are organized in topical sections on model checking, software verification, decision procedures, linear-time analysis, tool demonstration papers, timed and stochastic systems, theory, and short papers.
ISBN
9783540883869
Vorm
Paperback
Uitgever
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Druk
1e
Verschenen
01-01-2008
Taal
Engels
Pagina's
430 pp.
Genre
Informatica & Exacte vakken
Geen recensies beschikbaar.
pro-mbooks2 : libris