Status der Bestellung anzeigen

Werden Sie Teil einer Gemeinschaft von Buchliebhabern aus der ganzen Welt und erhalten Sie eine Reihe von Vorteilen. Konto kostenlos anlegen

DPD-Kurier 4.49 € Hermes Kurierdienst 4.99 € DHL-Kurier 3.99 € Hermes-Stelle 4.49 € DPD-Stelle 2.99 € GLS-Kurierdienst 4.99 €

Kontakt

Wie einkaufen

Hilfe

Mein Konto

▸ Leer :-(

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

Sprache

Englisch

Buch Broschur

Libristo-Code: 09237484

Verlag Cambridge University Press, August 2015

Software is pervasive in our lives. We are accustomed to dealing with the failures of much of that s... Vollständige Beschreibung

Libristo-Code: 09237484

182 b

74.39 € inkl. MwSt.

Externes Lager Wir versenden in 14-21 Tagen

Bis zu 30 Tage Rückgaberecht

Kunden kauften auch

À fleur de cœur Turpitudes humaines Duplaix Buch

Broschur

21.09 €

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

Broschur

14.89 €

V plamenech Naomi Kelsey

Hardcover

4.39 €

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

Broschur

6.49 €

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

Broschur

25.89 €

Le Second trône Tome II Esmes

Broschur

19.39 €

La velleta refranyera JORDI RAUL VERDU

Broschur

12.29 €

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

Broschur

15.99 €

Storia D'Algeri v1 (1851) Leon Galibert

Broschur

52.39 €

Transductions and Context-Free Languages Jean Berstel

Broschur

44.99 €

ilegal Martin Cortez

Broschur

19.89 €

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

Broschur

38.39 €

Percy Jackson - Auf Monsterjagd mit den Geschwistern Kane Rick Riordan

Audio CD

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.

Schauspielerin & Polyglotte

EWA KASP für

Video abspielen

Libristo bietet die größte Auswahl an fremdsprachiger Literatur an. Deshalb kaufe ich meine Bücher hier ein.

Informationen zum Buch

Vollständiger Name Building High Integrity Applications with SPARK

Autor John W. McCormick, Peter C. Chapin

Sprache

Englisch

Einband Buch - Broschur

Datum der Veröffentlichung 2015

Anzahl der Seiten 382

EAN 9781107656840

ISBN 1107656842

Libristo-Code 09237484

Verlag Cambridge University Press

Gewicht 548

Abmessungen 228 x 155 x 22

Kategorie

EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Programmier- und Skriptsprachen, allgemein

EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Software Engineering

EDV und Informationstechnologie > Unternehmensanwendungen

EDV und Informationstechnologie > Informatik

Verschenken Sie dieses Buch noch heute

Es ist ganz einfach

1 Legen Sie das Buch in Ihren Warenkorb und wählen Sie den Versand als Geschenk 2 Wir schicken Ihnen umgehend einen Gutschein 3 Das Buch wird an die Adresse des beschenkten Empfängers geliefert