Número de Cutter-SanbornC518aEntrada «Chen» → 518 · marca de obra “a”

Automated Technology for Verification and Analysis

Name: Automated Technology for Verification and Analysis
ISBN: 9783030317836

17th International Symposium, ATVA 2019, Taipei, Taiwan, October 28–31, 2019, Proceedings

Autor	Yu-Fang Chen, Chih-Hong Cheng, Javier Esparza
Editorial	Springer
Fecha de publicación	Oct 06, 2019
Páginas	563
Formato	paperback
ISBN-13	9783030317836
ISBN-10	3030317838
Número de Cutter	`C518a`

Automated Technology for Verification and Analysis (2019) — ISBN 9783030317836 | Cutter Number