Bauen von Anwendungen mit hoher Integrität mit SPARK von Peter C. Chapin (Englisch) Har
216,04 €
By Peter C. Chapin, John W. McCormick. Introduction and overview; 2. The basic SPARK language; 3. Programming in the large; 4. Dependency contracts; 5. Mathematical background; 6. Interfacing with SPARK; 8.
Jetzt bei Ebay:
![Produktbild - Building High Integrity Applications with Spark by McCormick, John W. [Hardback]](https://i.ebayimg.com/thumbs/images/g/of4AAeSwof5oSOkT/s-l140.jpg)
![Produktbild - Building High Integrity Applications with Spark by John W. McCormick [Paperback]](https://i.ebayimg.com/thumbs/images/g/qBIAAeSwDHxoSf7g/s-l140.jpg)
