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.99 € Hermes Kurierdienst 5.49 € DHL-Kurier 4.49 € Hermes-Stelle 4.99 € DPD-Stelle 3.49 € GLS-Kurierdienst 5.49 €

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: 72.99 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

179 b

72.99 € inkl. MwSt.

Externes Lager Wir versenden in 9-13 Tagen

Bis zu 30 Tage Rückgaberecht

Kunden kauften auch

V plamenech Naomi Kelsey

Hardcover

4.39 €

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

Broschur

13.29 €

Egri csillagok Gárdonyi Géza

Hardcover

7.69 €

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

Broschur

6.49 €

Glos Ameryki w audycjach sowieckich i rosyjskich Nikolai Zykov

Broschur

55.09 €

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

Broschur

23.69 €

Le Second trône Tome II Esmes

Broschur

16.59 €

À fleur de cœur Turpitudes humaines Duplaix Buch

Broschur

18.19 €

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

Broschur

13.49 €

Storia D'Algeri v1 (1851) Leon Galibert

Broschur

51.29 €

Etude Sur J.-J. Rousseau MAILLARD-E

Broschur

14.79 €

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

Broschur

37.69 €

Percy Jackson - Auf Monsterjagd mit den Geschwistern Kane Rick Riordan

Audio CD

13.00 €

La velleta refranyera JORDI RAUL VERDU

Broschur

11.19 €

ilegal Martin Cortez

Broschur

18.49 €

Transductions and Context-Free Languages Jean Berstel

Broschur

44.99 €

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