Reliable Software Technologies – Ada-Europe 2017

22nd Ada-Europe International Conference on Reliable Software Technologies, Vienna, Austria, June 12-16, 2017, Proceedings

Nonfiction, Computers, Programming, Software Development, Programming Languages, General Computing
Cover of the book Reliable Software Technologies – Ada-Europe 2017 by , Springer International Publishing
View on Amazon View on AbeBooks View on Kobo View on B.Depository View on eBay View on Walmart
Author: ISBN: 9783319605883
Publisher: Springer International Publishing Publication: May 27, 2017
Imprint: Springer Language: English
Author:
ISBN: 9783319605883
Publisher: Springer International Publishing
Publication: May 27, 2017
Imprint: Springer
Language: English

This book constitutes the refereed proceedings of the 22nd Ada-Europe International Conference on Reliable Software Technologies, Ada-Europe 2017, held in Vienna, Austria, in June 2017.

The revised 15 full papers presented were carefully reviewed and selected from 37 submissions. They are organized in topical sections on runtimes, safety and security, timing verification, programming models, the future of safety-minded languages, mixed criticality.

View on Amazon View on AbeBooks View on Kobo View on B.Depository View on eBay View on Walmart

This book constitutes the refereed proceedings of the 22nd Ada-Europe International Conference on Reliable Software Technologies, Ada-Europe 2017, held in Vienna, Austria, in June 2017.

The revised 15 full papers presented were carefully reviewed and selected from 37 submissions. They are organized in topical sections on runtimes, safety and security, timing verification, programming models, the future of safety-minded languages, mixed criticality.

More books from Springer International Publishing

Cover of the book Systemic Humiliation in America by
Cover of the book Bernard Shaw, W. T. Stead, and the New Journalism by
Cover of the book Group Decision and Negotiation in an Uncertain World by
Cover of the book Neurotropic Viral Infections by
Cover of the book The Rational Positive Parenting Program by
Cover of the book Nature-Inspired Algorithms and Applied Optimization by
Cover of the book Spatial Visualization and Professional Competence by
Cover of the book Frontiers in Gynecological Endocrinology by
Cover of the book Belief, Evidence, and Uncertainty by
Cover of the book Advances in Lie Superalgebras by
Cover of the book OpenGeoSys Tutorial by
Cover of the book Financial Inclusion and Poverty Alleviation by
Cover of the book Free Boundary Problems in PDEs and Particle Systems by
Cover of the book Light-Sensitive Polymeric Nanoparticles Based on Photo-Cleavable Chromophores by
Cover of the book State and Economic Development in Africa by
We use our own "cookies" and third party cookies to improve services and to see statistical information. By using this website, you agree to our Privacy Policy