Número de Cutter-SanbornF499aEntrada «Fink» → 499 · marca de obra “a”

Automated Technology for Verification and Analysis

Name: Automated Technology for Verification and Analysis
ISBN: 9783319249520

13th International Symposium, ATVA 2015, Shanghai, China, October 12-15, 2015, Proceedings

Autor	Bernd Finkbeiner, Geguang Pu, Lijun Zhang
Editorial	Springer International Publishing AG
Fecha de publicación	2015
Idioma	inglés
Páginas	520
ISBN-13	9783319249520
Número de Cutter	`F499a`

Automated Technology for Verification and Analysis (2015) — ISBN 9783319249520 | Cutter Number