Número de Cutter-SanbornB752vEntrada «Bou» → 752 · marca de obra “v”

Verification, Model Checking, and Abstract Interpretation

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

18th International Conference, VMCAI 2017, Paris, France, January 15–17, 2017, Proceedings

Autor	Ahmed Bouajjani, David Monniaux
Editorial	Springer
Fecha de publicación	Jan 12, 2017
Páginas	577
Formato	paperback
ISBN-13	9783319522333
ISBN-10	3319522337
Número de Cutter	`B752v`

Verification, Model Checking, and Abstract Interpretation (2017) — ISBN 9783319522333 | Cutter Number