Salta al contingut principal

Building High Integrity Applications with SPARK

Building High Integrity Applications with SPARK

Autor: McCormick/Chapin
Matèria: Computer Science; Programming Languages and Applied Logic; Software Engineering and Development
Editor: Cambridge University Press
Data publicació: 2015
Identificador: 9781139629294
Col·lecció: Computer Science and Information Technology
Accés