Número de Cutter-SanbornJ62vEntrada «Jo» → 62 · marca de obra “v”

Verification, Model Checking, and Abstract Interpretation

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

17th International Conference, VMCAI 2016, St. Petersburg, FL, USA, January 17-19, 2016. Proceedings

Autor	Barbara Jobstmann, K. Rustan M. Leino
Editorial	Springer Berlin / Heidelberg, Springer
Fecha de publicación	2015
Idioma	inglés
Páginas	558
ISBN-13	9783662491218
Número de Cutter	`J62v`

Verification, Model Checking, and Abstract Interpretation (2015) — ISBN 9783662491218 | Cutter Number