Building High Integrity Applications with SPARK
Edición de la obra Building High Integrity Applications with SPARK
| Autor | John W. McCormick, Peter C. Chapin |
|---|---|
| Editorial | Cambridge University Press |
| Fecha de publicación | 2015 |
| Idioma | inglés |
| Páginas | 382 |
| ISBN-13 | 9781107656840 |
| Número de Cutter | M478b |