Número de Cutter-SanbornM478bEntrada «Mazzon» → 478 · marca de obra “b”

Building High Integrity Applications with SPARK

Name: Building High Integrity Applications with SPARK
ISBN: 9781139629294

Autor	John W. McCormick, Peter C. Chapin
Editorial	Cambridge University Press
Fecha de publicación	2015
Idioma	inglés
ISBN-13	9781139629294
Número de Cutter	`M478b`

Building High Integrity Applications with SPARK (2015) — ISBN 9781139629294 | Cutter Number