Die Inhalte dieser Webseite enthalten Affiliate-Links, für die wir möglicherweise eine Vergütung erhalten.

Building High Integrity Applications with SPARK by Peter C. Chapin (English) Har

Ø 0.0

0 Bewertungen

148,99 €

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:

Format:

Hardcover
Language:

English
ISBN-13:

9781107040731
Author:

Peter C. Chapin, John W. McCormick
Book Title:

Building High Integrity Applications with SPARK
ISBN:

9781107040731

None:

International Standard : tracked-no signature (7 to 15 business days) 25,65 EUR - Lieferung zwischen 14. July 2025 und 22. July 2025 (bei heutigem Zahlungseingang)
Versand nach:

Weltweit
Versand ausgeschlossen:

Kambodscha , Bolivien , Ecuador , Französisch-Guayana , Guyana , Paraguay , Peru , Suriname , Venezuela , Algerien , ... und weitere