Doprava zdarma při nákupu nad 1 499 Kč přes Zásilkovnu nebo PPL Box.

Zjistit stav objednávky

Staňte se součástí komunity milovníků knih z celého světa a získejte hromadu výhod. Založit účet zdarma

Doprava zdarma se Zásilkovnou nad 1 499 Kč

Kurýr DPD 69 Kč PPL shop 49 Kč Balíkovna 69 Kč PPL kurýr 74 Kč PPL box 39 Kč Balíkovna 49 Kč Výdejní místo DPD 49 Kč Zásilkovna 39 Kč

Kontakt

Jak nakupovat

Pomoc

Můj účet

▸ Prázdný :-(

Doprava zdarma při nákupu nad 1 499 Kč přes Zásilkovnu nebo PPL Box.

Building High Integrity Applications with SPARK

Name: Building High Integrity Applications with SPARK
Brand: Cambridge University Press
SKU: 09237484
Price: 1659 CZK
Availability: InStock
Author: John W. McCormick
ISBN: 9781107656840

John W. McCormick

Peter C. Chapin

Jazyk

Angličtina

Kniha Brožovaná

Libristo kód: 09237484

Nakladatelství Cambridge University Press, srpen 2015

Software is pervasive in our lives. We are accustomed to dealing with the failures of much of that s... Celý popis

Libristo kód: 09237484

166 b

1 659 Kč

Skladem u dodavatele Odesíláme za 14-21 dnů

Až 30 dní na vrácení zboží

Zákazníci také koupili

À fleur de cœur Turpitudes humaines Duplaix Kniha

Brožovaná

495 Kč

Reportérem nadoraz - Mafie, politika, tajné služby Jaroslav Kmenta

Brožovaná

265 Kč

V plamenech Naomi Kelsey

Pevná

104 Kč

AERO č.134 - Jakovlev Jak-11/Let C-11 v čs. Letectvu Miroslav Irra

Brožovaná

141 Kč

L'home és un gran faisà en el món Müller

Brožovaná

610 Kč

Le Second trône Tome II Esmes

Brožovaná

455 Kč

La velleta refranyera JORDI RAUL VERDU

Brožovaná

291 Kč

199 énigmes mathématiques de 13 à 113 ans Agrell

Brožovaná

374 Kč

Storia D'Algeri v1 (1851) Leon Galibert

Brožovaná

1 164 Kč

Transductions and Context-Free Languages Jean Berstel

Brožovaná

972 Kč

ilegal Martin Cortez

Brožovaná

445 Kč

Essais de Montaigne Nouvelle Edition Collationnee Sur Les Meilleurs Textes DE MONTAIGNE-M

Brožovaná

857 Kč

Percy Jackson - Auf Monsterjagd mit den Geschwistern Kane Rick Riordan

Audio CD

319 Kč

Software is pervasive in our lives. We are accustomed to dealing with the failures of much of that software - restarting an application is a very familiar solution. Such solutions are unacceptable when the software controls our cars, airplanes and medical devices or manages our private information. These applications must run without error. SPARK provides a means, based on mathematical proof, to guarantee that a program has no errors. SPARK is a formally defined programming language and a set of verification tools specifically designed to support the development of software used in high integrity applications. Using SPARK, developers can formally verify properties of their code such as information flow, freedom from runtime errors, functional correctness, security properties and safety properties. Written by two SPARK experts, this is the first introduction to the just-released 2014 version. It will help students and developers alike master the basic concepts for building systems with SPARK.