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 Uncovering Online Commenting Culture by
Cover of the book Cartographies of Race and Social Difference by
Cover of the book Continuous Nonlinear Optimization for Engineering Applications in GAMS Technology by
Cover of the book Algorithmic Aspects of Cloud Computing by
Cover of the book Wireless Traffic Steering For Green Cellular Networks by
Cover of the book Trends and Applications in Knowledge Discovery and Data Mining by
Cover of the book Incorporating Sustainability in Management Education by
Cover of the book Smart Grids: Security and Privacy Issues by
Cover of the book Knocking in Gasoline Engines by
Cover of the book Multidimensional Views on Enterprise Information Systems by
Cover of the book An Armenian Mediterranean by
Cover of the book Exploring the Strategy Space of Negotiating Agents by
Cover of the book Methodologies in Peace Psychology by
Cover of the book Web and Big Data by
Cover of the book The Language of Protest 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