Related Books

Building High Integrity Applications with SPARK
Language: en
Pages: 383
Authors: John W. McCormick
Categories: Computers
Type: BOOK - Published: 2015-08-31 - Publisher: Cambridge University Press

DOWNLOAD EBOOK

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 solut
Building High Integrity Applications With Spark
Language: en
Pages: 364
Authors: Julia Nieves
Categories:
Type: BOOK - Published: 2017-05-08 - Publisher: Createspace Independent Publishing Platform

DOWNLOAD EBOOK

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 solutio
Reliable Software Technologies – Ada-Europe 2017
Language: en
Pages: 255
Authors: Johann Blieberger
Categories: Computers
Type: BOOK - Published: 2017-05-27 - Publisher: Springer

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the 22nd Ada-Europe International Conference on Reliable Software Technologies, Ada-Europe 2017, held in Vienn
Reliable Software Technologies – Ada-Europe 2018
Language: en
Pages: 179
Authors: António Casimiro
Categories: Computers
Type: BOOK - Published: 2018-06-11 - Publisher: Springer

DOWNLOAD EBOOK

This book constitutes the proceedings of the 23rd Ada-Europe International Conference on Reliable Software Technologies, Ada-Europe 2018, held in Lisbon, Portug
Programming in Ada 2012 with a Preview of Ada 2022
Language: en
Pages: 994
Authors: John Barnes
Categories: Computers
Type: BOOK - Published: 2022-05-19 - Publisher: Cambridge University Press

DOWNLOAD EBOOK

The latest edition of the definitive guide to the Ada language covers the full details of the core language Ada 2012 as updated by the 2016 ISO Corrigendum and