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 119 Kč

  Chci koupit
Kniha Double Cross

Double Cross

Cena od 159 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 Asterix 40 - Bílý kosatec

Asterix 40 - Bílý kosatec

Cena od 132 Kč

  Chci koupit
Kniha Spiklenci

Spiklenci

Cena od 276 Kč

  Chci koupit
Kniha Generace nula

Generace nula

Cena od 437 Kč

  Chci koupit
Kniha Ve vzduchu a na vodě

Ve vzduchu a na vodě

Cena od 175 Kč

  Chci koupit
Finta na soupeře
Finta na soupeře
Stephanie Archer
  Chci koupit
Finta na soupeře - Stephanie Archer

Jak se pomstít hroznému bývalému? Můžete předstírat vztah s jeho soupeřem! br br Být fyzioterapeutkou profesionálních hokejistů je dost náročné už samo o sobě, ale teď se k týmu navíc přidal můj bývalý. To on je důvodem, proč nechodím s hokejisty. br br Nový kapitán Vancouver Storm a nejlepší střelec v profesionální lize, Rory Miller, je arogantní, domýšlivý hokejista, kterého jsem doučovala na střední. Teď ale souhlasil, že se mnou začne naoko chodit. Já se tak alespoň pomstím svému ex a Rory si vylepší image. Je to naprosto perfektní dohoda. br br Tahle naše finta je navíc nečekaně zábavná a návyková. Pod maskou drsňáka je Rory milý, vtipný a ochranitelský kluk. br br Naučí mě bruslit. Přespává v mojí posteli. Líbá mě, jako by to mezi námi bylo skutečné. br Ale co když vůbec nikdy nic nepředstíral?