Número de Cutter-SanbornB284vEntrada «Barth» → 284 · marca de obra “v”

Verification, Model Checking, and Abstract Interpretation

Name: Verification, Model Checking, and Abstract Interpretation
ISBN: 9783642113192

11th International Conference, VMCAI 2010, Madrid, Spain, January 17-19, 2010, Proceedings

Autor	Gilles Barthe, Manuel Hermenegildo
Editorial	Springer London, Limited
Fecha de publicación	2010
Idioma	inglés
ISBN-13	9783642113192
Número de Cutter	`B284v`

Verification, Model Checking, and Abstract Interpretation (2010) — ISBN 9783642113192 | Cutter Number