Building High Integrity Applications with SPARK - McCormick, John W. (University of Northern Iowa) - Grāmatas - Cambridge University Press - 9781107656840 - 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
€ 86,99

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

Paredzamā piegāde . gada 30. okt. - . gada 9. nov.
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.

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

Mediji Grāmatas     Paperback Book   (Grāmata ar mīksto vāku un līmēto muguru)
Izlaists 2015. gada 31. augusts
ISBN13 9781107656840
Izdevēji Cambridge University Press
Lapas 382
Izmēri 228 × 155 × 22 mm   ·   550 g
Valoda Angļu  

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

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