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 688 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…

Zobrazit celý popis
Výběr knih vydavatele Cambridge University Press
Kniha Own It! 2 Project Book

Own It! 2 Project Book

Cena od 124 Kč

  Chci koupit
Kniha Double Cross

Double Cross

Cena od 167 Kč

  Chci koupit
Kniha Being You

Being You

Cena od 330 Kč

  Chci koupit
Kniha Picture to Remember Level 2

Picture to Remember Level 2

Cena od 185 Kč

  Chci koupit
Kniha Grow the Pie

Grow the Pie

Cena od 594 Kč

  Chci koupit
Kniha John Doe

John Doe

Cena od 172 Kč

  Chci koupit
Kniha Kid´s Box 1 Language Portfolio

Kid´s Box 1 Language Portfolio

Cena od 80 Kč

  Chci koupit
Kniha More! 4 Pracovní sešit

More! 4 Pracovní sešit

Cena od 249 Kč

  Chci koupit
Zobrazit všechny knihy vydavatele Cambridge University Press
Naše tipy
Kniha Keramika

Keramika

Cena od 465 Kč

  Chci koupit
Kniha Zaklínač: Medvěd a motýl

Zaklínač: Medvěd a motýl

Cena od 279 Kč

  Chci koupit
Kniha Dohledové videosystémy v bezpečnostních technologiích

Dohledové videosystémy v bezpečnostních technologiích

Cena od 184 Kč

  Chci koupit
Kniha Colores 2 - Kurz španělského jazyka - pracovní sešit

Colores 2 - Kurz španělského jazyka - pracovní sešit

Cena od 199 Kč

  Chci koupit
Lakestone - Srdce temnoty
Lakestone - Srdce temnoty
Sarah Rivens
  Chci koupit
Lakestone - Srdce temnoty - Sarah Rivens

Ve zdánlivě poklidném americkém městě Ewing se Iris v tichu a přítmí knihovny připravuje na semestrální zkoušky. Kilometry od ní zase neznámý zabiják mrzne v třeskutě chladné noci, ledové jako mrtvola, kterou právě zakopává.Ti dva spolu nemají vůbec nic společného, a přesto je pojí ten samý cíl: sehnat pořádný balík peněz. Iris proto, aby mohla zaplatit školné, a nájemný zabiják z toho důvodu, aby mohl splnit svůj úkol.Úkol, v němž hlavní roli hraje právě ona.Irisin osud tak začíná být úzce spjat s životem tohoto muže a dochází ke spojení, které v něm probudí zvědavost i touhu zároveň. Mladá studentka se ze dne na den ocitá vytržená z rutiny svého každodenního života a je vydána na milost i nemilost zabijákovi, jehož předchází pověst impulzivního šílence. Šílence vychovaného k tomu, aby zabíjel...Šílence jménem Lakestone.