Над 4 милиона заглавия на английски и други езици! Открийте новата си история още днес! Безплатна доставка за поръчки над 69.99€

Проверка на състоянието на поръчката

Станете част от общност от любители на книгите от цял свят и получавате много предимства. Създай на безплатен акаунт

Безплатна доставка със Еконт над 69.99 €

Куриер Speedy 3.49 € Пункт на Speedy 3.49 € ЕКОНТ 3.99 € Еконтомат/Офис на Еконт 3.99 € Ekont Box 3.99 € Sameday 3.99 € Sameday box 3.99 € Box Now 3.99 €

Контакт

Как се пазарува?

Помощ

Моят акаунт

▸ Празна :-(

Building High Integrity Applications with SPARK

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

John W. McCormick

Peter C. Chapin

Език

Английски език

Книга С меки корици

Код Либристо: 09237484

Издателство Cambridge University Press, август 2015

Software is pervasive in our lives. We are accustomed to dealing with the failures of much of that s... Цялото описание

Код Либристо: 09237484

174 b

71.89 €

140.60 лв

Външен склад Изпращаме след 14-21 дни

До 30 дни за връщане на стоки

Клиентите са закупили също

À fleur de cœur Turpitudes humaines Duplaix Книга

С меки корици

21.36 € 41.77 лв

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

С меки корици

15.10 € 29.53 лв

V plamenech Naomi Kelsey

С твърди корици

4.44 € 8.69 лв

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

С меки корици

6.56 € 12.84 лв

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

С меки корици

26.11 € 51.07 лв

Le Second trône Tome II Esmes

С меки корици

19.65 € 38.43 лв

La velleta refranyera JORDI RAUL VERDU

С меки корици

12.46 € 24.37 лв

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

С меки корици

16.13 € 31.55 лв

Storia D'Algeri v1 (1851) Leon Galibert

С меки корици

50.58 € 98.92 лв

Transductions and Context-Free Languages Jean Berstel

С меки корици

44.89 € 87.80 лв

ilegal Martin Cortez

С меки корици

19.29 € 37.72 лв

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

С меки корици

37.13 € 72.62 лв

Percy Jackson - Auf Monsterjagd mit den Geschwistern Kane Rick Riordan

Аудио компактдиск

13.86 € 27.10 лв

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.