Building High Integrity Applications with SPARK

Building High Integrity Applications with SPARK КНИГИ » ПРОГРАММИНГ

Название: Building High Integrity Applications with SPARK
Автор: John W. McCormick and Peter C. Chapin
Издательство: Cambridge University Press
Год: 2015
Формат: PDF, EPUB
Размер: 24 Мб
Язык: английский / English

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.

turbobit

ОТСУТСТВУЕТ ССЫЛКА/ НЕ РАБОЧАЯ ССЫЛКА ЕСТЬ РЕШЕНИЕ, ПИШИМ СЮДА!

Автор: bomboane 3-07-2020, 09:39 | Напечатать |

Уважаемый посетитель, Вы зашли на сайт как незарегистрированный пользователь.

С этой публикацией часто скачивают:

Natural Language Processing with Spark NLP (Early Release) Название: Natural Language Processing with Spark NLP (Early Release) Автор: Alex Thomas Издательство: O'Reilly Год: 2019 Формат:...

Scala Programming for Big Data Analytics: Get Started With Big Data Analytics Using Apache Spark Название: Scala Programming for Big Data Analytics: Get Started With Big Data Analytics Using Apache Spark Автор: Irfan Elahi Издательство: Apress...

Practical Apache Spark: Using the Scala API Название: Practical Apache Spark: Using the Scala API Автор: Subhashini Chellappan, Dharanitharan Ganesan Издательство: Apress Год: 2019 Страниц:...

Beginning Apache Spark 2 Название: Beginning Apache Spark 2: With Resilient Distributed Datasets, Spark SQL, Structured Streaming and Spark Machine Learning library Автор:...

Spark: The Definitive Guide: Big data processing made simple Название: Spark: The Definitive Guide: Big data processing made simple Автор: Bill Chambers, Matei Zaharia Издательство: O'Reilly Media Год: 2017...

Agile Data Science 2.0: Building Full-Stack Data Analytics Applications with Spark Название: Agile Data Science 2.0: Building Full-Stack Data Analytics Applications with Spark Автор: Russell Jurney Издательство: O'Reilly Media Год:...

High Performance Spark: Best Practices for Scaling and Optimizing Apache Spark Название: High Performance Spark: Best Practices for Scaling and Optimizing Apache Spark Автор: Holden Karau, Rachel Warren Издательство: O'Reilly...

Apache Spark in 24 Hours, Sams Teach Yourself Название: Apache Spark in 24 Hours, Sams Teach Yourself Автор: Jeffrey Aven Издательство: Sams Publishing Год: 2016 Страниц: 592 Формат: true...

Build Web Applications with Java Название: Build Web Applications with Java Автор: Mirza Yousuf Ahmed Baig Издательство: CreateSpace Independent Год: 2016 Формат: PDF, EPUB Размер:...

Big Data Analytic with Spark Название: Big Data Analytic with Spark Автор: Mohammed Guller Издательство: Apress Год: 2015 Формат: PDF Размер: 10 Мб Язык: английский / English ...

Информация

Посетители, находящиеся в группе Гости, не могут оставлять комментарии к данной публикации.