Building High Integrity Applications with SPARK

Building High Integrity Applications with SPARK

John W. (University of Northern Iowa) McCormick, Peter C. Chapin
a najít nejvýhodnější cenu za celou objednávku
Knihu koupíte v 1 e-shopu
Pokud se vám po kliknutí na tlačítko "Do obchodu" nezobrazí stránka knihy ve vybraném e-shopu, je třeba vypnout AdBlock ve vašem prohlížeči pro naši stránku. Návod na vypnutí je například na adrese https://o.seznam.cz/jak-vypnout-adblock/#1.
Building High Integrity Applications with SPARK koupíte na Bookshop.cz
Bookshop.cz
1 594 Kč
Není skladem
a 1 další varianta  
Building High Integrity Applications with SPARK koupíte na Bookshop.cz
Bookshop.cz
4 063 Kč
Není skladem
Krátký popis
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.
Výběr knih vydavatele Cambridge University Press
Kniha Bakunin

Bakunin

  Chci koupit
Kniha A Tattoo on my Brain

A Tattoo on my Brain

  Chci koupit
Kniha Being You

Being You

Cena od 330 Kč

  Chci koupit
Kniha Cambridge IGCSE® Chemistry Workbook

Cambridge IGCSE® Chemistry Workbook

  Chci koupit
Zobrazit všechny knihy vydavatele Cambridge University Press
Naše tipy
Kniha Dotek nestvůry

Dotek nestvůry

Cena od 357 Kč

  Chci koupit
Kniha Ema se má

Ema se má

Cena od 214 Kč

  Chci koupit
Kniha Zlá krev

Zlá krev

Cena od 342 Kč

  Chci koupit
Kniha Kniha: Co dělat

Kniha: Co dělat

Cena od 339 Kč

  Chci koupit
Ti, co tuší smrt
Ti, co tuší smrt
J.R. Erickson
  Chci koupit
Před jedenácti lety zemřela Bette a Crystal matka. Sestry si tento den každoročně připomínají návštěvou jejího hrobu. Zatímco Bette čeká na opuštěném hřbitově a mohutné duby ji v jejím tichém rozjímání pozorují, Crystal, jež by jinak rodinný rituál nikdy nevynechala, stále nepřichází. Ačkoli je na paniku ještě příliš brzy, pouští se znejistěná Bette do vlastního pátrání, aby svou sestru našla.Minuty čekání se však brzy mění v hodiny a hodiny ve dny.Bette zjišťuje znepokojivé skutečnosti o tom, co se dělo v životě její sestry a její podezřívavost vůči jejímu příteli, pohlednému profesoru literatury Westonu Meeksovi, roste. Proč se Meeks vyhýbá otázkám na svůj dřívější život? Co před všemi tají?Vstupte do příběhu o lidech pohřešovaných, zavražděných a těch, kteří si svá tajemství odnesli do hrobu.