Spedizione gratuita per ordini superiori a 69,99 euro.

Controllare lo stato dell'ordine

Entra a far parte di una comunità di amanti dei libri di tutto il mondo e ottieni numerosi vantaggi. Crea un account gratuito

Spedizione gratuita con Packeta per un prezzo superiore a 69.99 €

Corriere Bartolini 4.49 € Punto Poste 5.49 € Punto Poste 5.49 € Punto Bartolini 3.49 € Corriere DHL 6.99 € Corriere GLS 5.99 € Punto GLS 4.49 €

Contatto

Come acquistare

Aiuto

Il mio account

▸ Vuoto :-(

Spedizione gratuita per ordini superiori a 69,99 euro.

Building High Integrity Applications with SPARK

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

John W. McCormick

Peter C. Chapin

Lingua

Inglese

Libro In brossura

Codice Libristo: 09237484

Casa editrice Cambridge University Press, agosto 2015

Software is pervasive in our lives. We are accustomed to dealing with the failures of much of that s... Descrizione completa

Codice Libristo: 09237484

182 b

74.39 €

Magazzino esterno Inviamo tra 14-21 giorni

Fino a 30 giorni per il reso

I clienti hanno acquistato anche

À fleur de cœur Turpitudes humaines Duplaix Libro

In brossura

20.99 €

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

In brossura

14.89 €

V plamenech Naomi Kelsey

Rigido

4.39 €

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

In brossura

6.49 €

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

In brossura

24.79 €

Le Second trône Tome II Esmes

In brossura

19.29 €

La velleta refranyera JORDI RAUL VERDU

In brossura

11.79 €

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

In brossura

15.89 €

Storia D'Algeri v1 (1851) Leon Galibert

In brossura

52.39 €

Transductions and Context-Free Languages Jean Berstel

In brossura

44.39 €

ilegal Martin Cortez

In brossura

19.89 €

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

In brossura

38.39 €

Percy Jackson - Auf Monsterjagd mit den Geschwistern Kane Rick Riordan

CD audio

13.69 €

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.