Reliable Software Technologies – Ada-Europe 2013
- ISBN
- 9783642386015
Reliable Software Technologies – Ada-Europe 2013 is a logic design, logics and meanings of programs book by Hubert B. Keller.
About this book
This book constitutes the refereed proceedings of the 18th Ada-Europe International Conference on Reliable Software Technologies, Ada-Europe 2013, was held in Berlin, Germany, in June 2013. The 11 full papers presented were carefully reviewed and selected from various submissions. They are organized in topical sections on multi-core and distributed systems; Ada and Spark; dependability; and real-time systems.
About the Author
Hubert B. Keller is the author of Reliable Software Technologies – Ada-Europe 2013. Browse their full catalog on Booklogr.
Editions & Formats
Reviews
No reviews yet. Have you read this book? Share your thoughts with the Booklogr community.
Sign in Sign in to write a review
Frequently Asked Questions
What genre is Reliable Software Technologies – Ada-Europe 2013?+
Reliable Software Technologies – Ada-Europe 2013 is a Logic design, Logics and Meanings of Programs, Computer science, Software engineering, Programming Languages, Compilers, Interpreters book.
What is Reliable Software Technologies – Ada-Europe 2013 about?+
This book constitutes the refereed proceedings of the 18th Ada-Europe International Conference on Reliable Software Technologies, Ada-Europe 2013, was held in Berlin, Germany, in June 2013. The 11 full papers presented were carefully reviewed and selected from various submissions. They are organized...
Who wrote Reliable Software Technologies – Ada-Europe 2013?+
Reliable Software Technologies – Ada-Europe 2013 was written by Hubert B. Keller.