Building High Integrity Applications with SPARK
de John W. McCormick, Peter C. Chapin
de John W. McCormick, Peter C. Chapin
Cambridge University Press · inglés · ISBN 9781139629294
Cambridge University Press · inglés · ISBN 9781107040731
Cambridge University Press · inglés · ISBN 9781107656840
Cambridge University Press · inglés · ISBN 9781316371381
