Building High Integrity Applications with SPARK - McCormick, John W. (University of Northern Iowa) - Grāmatas - Cambridge University Press - 9781107040731 - 2015. gada 31. augusts
Ja vāks un nosaukums nesakrīt, pareizs ir nosaukums

McCormick, John W. (University of Northern Iowa)
Building High Integrity Applications with SPARK

Cena
€ 194,99

Pasūtīts no attālās noliktavas

Paredzamā piegāde . gada 27. nov. - . gada 7. dec.
Ziemassvētku dāvanas var atgriezt līdz 31. janvārim
Saņemiet paziņojumus par jauniem McCormick, John W. (University of Northern Iowa) izdevumiem

Mūsu klienti saka:

14 dienu atgriešanas politika saskaņā ar Eiropas patērētāju tiesību aizsardzības likumu
Top vieta Trustpilot
Pievienot savam iMusic vēlmju sarakstam

Not rated yet

Pieejams arī kā:

The formally defined programming language SPARK provides a means to guarantee that a computer program has no errors. This makes it a natural system for designing safety- and security-critical applications. This first introduction to SPARK 2014 will allow students and developers to master the basic concepts for building systems with SPARK.

382 pages, 13 b/w illus. 14 tables 119 exercises

Mediji Grāmatas     Hardcover Book   (Grāmata ar cieto muguriņu un vāku)
Izlaists 2015. gada 31. augusts
ISBN13 9781107040731
Izdevēji Cambridge University Press
Lapas 382
Izmēri 237 × 162 × 25 mm   ·   655 g
Valoda Angļu  

Vairāk no McCormick, John W. (University of Northern Iowa)

Rādīt visu

Vairāk no tā paša izdevēja

Skatīt visus McCormick, John W. (University of Northern Iowa)