9781107040731 - building high integrity applications with spark von john w. mccormick , peter c. chapin (3 Ergebnisse)
- Hardcover
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes KönigreichRia Christie Collections
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 172,77
EUR 14,00 VersandVersand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
Zustand: New. In.
- Hardcover
Anbieter: Revaluation Books, Exeter, Vereinigtes KönigreichRevaluation Books
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 225,11
EUR 14,60 VersandVersand von Vereinigtes Königreich nach USAAnzahl: 2 verfügbar
Hardcover. Zustand: Brand New. 382 pages. 9.50x6.50x1.00 inches. In Stock.
- Hardcover
Anbieter: Kennys Bookstore, Olney, MD, USAKennys Bookstore
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 309,05
EUR 9,06 VersandVersand innerhalb von USAAnzahl: Mehr als 20 verfügbar
Zustand: New. This is the first introduction to the SPARK 2014 language and the tools to verify programs for safety- and security-critical applications. Num Pages: 382 pages, 13 b/w illus. 14 tables 119 exercises. BIC Classification: UMX. Category: (P) Professional & Vocational; (U) Tertiary Education (US: College). Dimension: 1…62 x 237 x 25. Weight in Grams: 64. . 2015. 1st Edition. Hardcover. . . . . Books ship from the US and Ireland.
