Número de Cutter-SanbornA787aEntrada «Arth» → 787 · marca de obra “a”

Automated Technology for Verification and Analysis

Name: Automated Technology for Verification and Analysis
ISBN: 9783319465197

14th International Symposium, ATVA 2016, Chiba, Japan, October 17-20, 2016, Proceedings

Autor	Cyrille Artho, Axel Legay, Doron Peled
Editorial	Springer
Fecha de publicación	Sep 22, 2016
Páginas	541
Formato	paperback
ISBN-13	9783319465197
ISBN-10	3319465198
Número de Cutter	`A787a`

Automated Technology for Verification and Analysis (2016) — ISBN 9783319465197 | Cutter Number