Computer aided verification : 18th international conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006 : proceedings

This volume contains the proceedings of the International conference on computer aided verification (CAV), held in Seattle, Washington, USA, July 16-20, 2006. CAV 2006 was the 18th in a series of conferences dedicated to the advancement of the theory and practice of computer-assisted formal analysis...

Celý popis

Podrobná bibliografie

Další autoři:	Ball, Thomas (Thomas Jaudon), 1965- (Editor) Jones, Robert B. (Robert Brent), 1969- (Editor)
Korporace:	SpringerLink (online služba) (Distributor)
Konference:	CAV (konference) (2006 : Seattle, Washington)
Médium:	E-kniha
Jazyk:	angličtina
Vydáno:	Berlin ; Heidelberg ; New York : Springer, 2006
Edice:	Lecture notes in computer science
Žánr/forma:	elektronické knihy sborníky konferencí
ISBN:	978-3-540-37411-4 978-3-540-37406-0 3-540-37406-X
Témata:	informatika softwarové inženýrství počítače matematická logika umělá inteligence
On-line přístup:	Plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo otaguje tento záznam!