High Integrity Software
The SPARK Approach to Safety and Security
Edición de la obra High Integrity Software
| Autor | John Barnes |
|---|---|
| Editorial | Addison Wesley |
| Fecha de publicación | April 25, 2003 |
| Idioma | inglés |
| Páginas | 448 |
| Formato | Hardcover |
| ISBN-13 | 9780321136169 |
| ISBN-10 | 0321136160 |
| LCCN | 2003046380 |
| Número de Cutter | B261h |