Building High Integrity Applications with SPARK - Image 1

£96.98

Cambridge University Press Building High Integrity Applications with SPARK

Name: Building High Integrity Applications with SPARK
Brand: Cambridge University Press
Price: 96.98 GBP
Availability: InStock

Introduction to Programming

It has never been this cheap. We have no record of a lower price.

£97 today · cheaper than every other day in the last 3 months

NEW HERE?

Amazon shows you one price. We show you all of them.

Tosheroon watches Amazon prices so you don't have to. Every product on Amazon has a price history — we make it visible. Set the price you'd actually pay, and we'll email you the second it gets there. No app, no account, one email.

WHAT'S ON THIS PAGE

↓ Price chart
when this has been cheap or pricey

↓ Forecast
where the price is heading next

↓ Statistics
all-time high & low, recent range

↑ Price alert
name your number, we'll email you

Price History & Forecast

Grey patches = out of stock. Cheaper = lower on the chart. Hover for exact prices.

Last 84 days · 84 data points (no recent data)

Historical

Generating forecast…

Price Distribution

Price distribution over 84 days • 2 price levels

Days at Price

Current Price

Price Analysis

Most common price: £97 (68 days, 81.0%)

Price range: £97 - £117

Price levels: 2 different prices over 84 days

Description

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.

Product Specifications

Brand: Cambridge University Press
Format: hardcover
ASIN: 1107040736
Category: Books > Subjects > Computing & Internet > Programming > Introduction to Programming
Domain: Amazon UK
Release Date: 26 November 2015
Listed Since: 11 March 2015

Barcode

No barcode data available

Cambridge University Press Building High Integrity Applications with SPARK

It has never been this cheap. We have no record of a lower price.

Price History & Forecast

Price Distribution

Price Analysis

Description

Product Specifications

Barcode

Similar Products You Might Like

Building High Integrity Applications with SPARK

Big Data Analytics with Spark: A Practitioner's Guide to Using Spark for Large Scale Data Analysis

Data Analysis with Python and PySpark

Candice Cooper Spark 010-Sneakers Leather - White, Blue, 6.5 UK

Learning Spark 2e: Lightning-Fast Data Analytics

Bell Bike Spark 2 MIPS Matte Dark Blue Medium/Large

High Performance Spark: Best Practices for Scaling and Optimizing Apache Spark

Apache Spark 2.x Cookbook: Cloud-ready recipes for analytics and data science: Over 70 cloud-ready recipes for distributed Big Data processing and analytics

Spark – The Definitive Guide: Big data processing made simple

C.A.M.P. - SPARK - S

Spark Discharge

Apache Spark 2.x Machine Learning Cookbook: Over 100 recipes to simplify machine learning model implementations with Spark

Pitco 60102602 Spark Ignition Module

Candice Cooper Women's Spark New Oxford Flat, Black, 8 UK

Candice Cooper Women's Spark New Oxford Flat, Taupe Beige, 6 UK

C.A.M.P. - SPARK - XS

Sparks: A Reader to Energize Writing

Candice Cooper Women's Spark New Oxford Flat, Taupe Bronze, 7.5 UK

Candice Cooper Women's Spark New Oxford Flat, Taupe Beige, 5 UK

NGK Spark Plug R0409B-9 Racing 7792

Relaxdays Fire Bowl Spark Guard with Poker, Steel, Black, Ø 90 cm

Learn PySpark: Build Python-based Machine Learning and Deep Learning Models

Spark in Action, Second Edition

Spark- Collectible Miniature Car, S2228, Red/White