Building High Integrity Applications with SPARK
- Título:
- Building High Integrity Applications with SPARK
- Materia:
- Computer Science; Renaissance and Early Modern Literature
- Editor:
- Cambridge University Press
- Descripción:
- Coursebooks
- Identificadores:
- E-ISBN: 9781139629294; 9781107040731 ISBN: 9781107656840
- Colección:
- Cambridge University Press