Building High Integrity Applications with SPARK
-10%
portes grátis
Building High Integrity Applications with SPARK
Chapin, Peter C.; McCormick, John W.
Cambridge University Press
08/2015
382
Dura
Inglês
9781107040731
15 a 20 dias
640
Descrição não disponível.
1. Introduction and overview; 2. The basic SPARK language; 3. Programming in the large; 4. Dependency contracts; 5. Mathematical background; 6. Proof; 7. Interfacing with SPARK; 8. Software engineering with SPARK; 9. Advanced techniques.
Este título pertence ao(s) assunto(s) indicados(s). Para ver outros títulos clique no assunto desejado.
1. Introduction and overview; 2. The basic SPARK language; 3. Programming in the large; 4. Dependency contracts; 5. Mathematical background; 6. Proof; 7. Interfacing with SPARK; 8. Software engineering with SPARK; 9. Advanced techniques.
Este título pertence ao(s) assunto(s) indicados(s). Para ver outros títulos clique no assunto desejado.
