Automated Technology for Verificati - E-book

eBook

Automated Technology For Verification And Analysis - ENG

4th International Symposium, Atva 2006, Beijing, China, October 23-26, 2006, Proceedings

Susanne Graf; ?Wenhui Zhang

eBook

$1,100.00

Disponible

Información adicional
Sinopsis

ISBN:	9783540472384
Formato:	Page Fidelity
Idioma:	Inglés
Editorial:	Springer Nature
Tema:	Computadoras
Subtema:	CAD (Dibujo asistado por computadora) CAM (Manufactura asistida por computadora)
Año de publicación:	2006-10-11

This book constitutes the refereed proceedings of the Third International Symposium on Automated Technology for Verification and Analysis, ATVA 2006, held in Beijing, China in October 2006. The 35 revised full papers presented together with abstracts of three keynote papers were carefully reviewed and selected from 137 submissions.

eBooks