Número de Cutter-SanbornB645vEntrada «Blau» → 645 · marca de obra “v”

Verified Software. Theories, Tools, and Experiments

Name: Verified Software. Theories, Tools, and Experiments
ISBN: 9783319488684

8th International Conference, VSTTE 2016, Toronto, on, Canada, July 17-18, 2016, Revised Selected Papers

Autor	Sandrine Blazy, Marsha Chechik
Editorial	Springer International Publishing AG
Fecha de publicación	2016
Idioma	inglés
Páginas	199
ISBN-13	9783319488684
Número de Cutter	`B645v`

Verified Software. Theories, Tools, and Experiments (2016) — ISBN 9783319488684 | Cutter Number