£51.00

Cambridge University Press - Building High Integrity Applications

Name: Cambridge University Press - Building High Integrity Applications
Brand: Cambridge University Press
Price: 51.0 GBP
Availability: InStock

Introduction to Programming

This is the most expensive it has ever been. Walk away.

£51 today · previous high £51 · all-time low £46

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 90 days · 89 data points

Historical

Generating forecast…

Price Distribution

Price distribution over 90 days • 6 price levels

Days at Price

Current Price

Price Analysis

Most common price: £49 (27 days, 30.3%)

Price range: £46 - £51

Price levels: 6 different prices over 89 days

Description

Software is everywhere in modern life, but many systems rely on solutions like restarting applications when failures occur. For critical systems that control cars, airplanes, or medical devices, these types of failures are not acceptable. Software managing private information must run without error to ensure safety and security. This book from Cambridge University Press explores how SPARK provides a way to guarantee that a program has no errors using mathematical proof. SPARK is a formally defined programming language paired with a set of verification tools. These tools are specifically designed to support the development of software used in high integrity environments where reliability is the highest priority. Learn how to move beyond standard software development and utilize formal methods to build systems that are mathematically proven to be error-free.

Key Features

Learn how to use mathematical proof to guarantee that your programs contain no errors.

Explore SPARK as a formally defined programming language for high integrity software development.

Understand the application of verification tools designed for mission-critical software systems.

Discover methods for developing software for cars, airplanes, and medical devices where failure is not an option.

Gain expertise in building applications that manage private information with high levels of reliability.

Product Specifications

Brand: Cambridge University Press
Format: paperback
ASIN: 1107656842
Category: Books > Subjects > Computing & Internet > Programming > Introduction to Programming
Domain: Amazon UK
Release Date: 03 September 2015
Listed Since: 11 March 2015

Barcode

No barcode data available

Cambridge University Press - Building High Integrity Applications

This is the most expensive it has ever been. Walk away.

Price History & Forecast

Price Distribution

Price Analysis

Description

Key Features

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

Learning Spark 2e: Lightning-Fast Data Analytics

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

Bell Spark 2 Mips Cycling Helmet - 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

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

Spark Discharge

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

Spark in Action, Second Edition

Pitco 60102602 Spark Ignition Module

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

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

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

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

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

NGK Spark Plug R0409B-9 Racing 7792

Data Algorithms with Spark: Recipes and Design Patterns for Scaling Up using PySpark

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

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

Spark- Collectible Miniature Car, S2228, Red/White