Related Books
Language: en
Pages: 383
Pages: 383
Type: BOOK - Published: 2015-08-31 - Publisher: Cambridge University Press
This is the first introduction to the SPARK 2014 language and the tools to verify programs for safety- and security-critical applications.
Language: en
Pages: 383
Pages: 383
Type: BOOK - Published: 2015-08-31 - Publisher: Cambridge University Press
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
Language: en
Pages: 255
Pages: 255
Type: BOOK - Published: 2017-05-27 - Publisher: Springer
This book constitutes the refereed proceedings of the 22nd Ada-Europe International Conference on Reliable Software Technologies, Ada-Europe 2017, held in Vienn
Language: en
Pages: 179
Pages: 179
Type: BOOK - Published: 2018-06-11 - Publisher: Springer
This book constitutes the proceedings of the 23rd Ada-Europe International Conference on Reliable Software Technologies, Ada-Europe 2018, held in Lisbon, Portug
Language: en
Pages: 994
Pages: 994
Type: BOOK - Published: 2022-05-19 - Publisher: Cambridge University Press
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
