Número de Cutter-SanbornC426aEntrada «Ch» → 426 · marca de obra “a”

Automated Technology for Verification and Analysis

Name: Automated Technology for Verification and Analysis
ISBN: 9783540883876

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

Autor	Sungdeok Cha, Jin-Young Choi, Moonzoo Kim, Mahesh Viswanathan
Editorial	Springer London, Limited
Fecha de publicación	2008
Idioma	inglés
ISBN-13	9783540883876
Número de Cutter	`C426a`

Automated Technology for Verification and Analysis (2008) — ISBN 9783540883876 | Cutter Number