Número de Cutter-SanbornL832vEntrada «Loge» → 832 · marca de obra “v”

Verification, Model Checking, and Abstract Interpretation

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

9th International Conference, VMCAI 2008, San Francisco, USA, January 7-9, 2008, Proceedings

Autor	Francesco Logozzo, Doron A. Peled, Leonore D. Zuck
Editorial	Springer London, Limited
Fecha de publicación	2008
Idioma	inglés
ISBN-13	9783540781639
Número de Cutter	`L832v`

Verification, Model Checking, and Abstract Interpretation (2008) — ISBN 9783540781639 | Cutter Number