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 A Transnational Analysis of Representations of the US Filibusters in Nicaragua, 1855-1857 by
Cover of the book Tracking and Mapping of Spatiotemporal Quantities Using Unicellular Swarm Intelligence by
Cover of the book The Many Faces of Maxwell, Dirac and Einstein Equations by
Cover of the book The Evolution of Agricultural Credit during China’s Republican Era, 1912–1949 by
Cover of the book Macro-Economics of Mineral and Water Resources by
Cover of the book Fractal Solutions for Understanding Complex Systems in Earth Sciences by
Cover of the book Guide to Distributed Simulation with HLA by
Cover of the book Computer and Computing Technologies in Agriculture XI by
Cover of the book Future Business Software by
Cover of the book Chatter and Machine Tools by
Cover of the book The Political Economy of Normative Trade Power Europe by
Cover of the book The Socio-Economic Impact of Migration Flows by
Cover of the book Understanding Child Neglect by
Cover of the book Simplified Theory of Plastic Zones by
Cover of the book Supply Chain Finance and Blockchain Technology 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