Building High Integrity Applications with SPARK / John W. McCormick and Peter C. Chapin
- Författare
- John W. McCormick
- Språk
- Okänt
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| uuuu-uuuu | Utgivningsland okänt / Ej specificerat | 978-1-139-62929-4 |