Reliable Software Technology – Ada-Europe 2005
- Tullio Vardanega
- Andrew J. Wellings
Paperback & Hardcover deals ―
Amazon IndiaGOFlipkart GOSnapdealGOSapnaOnlineGOJain Book AgencyGOBooks Wagon₹666Book ChorGOCrosswordGODC BooksGOe-book & Audiobook deals ―
Amazon India GOGoogle Play Books GOAudible GO* Price may vary from time to time.
* GO = We're not able to fetch the price (please check manually visiting the website).
Know about the book -
Reliable Software Technology – Ada-Europe 2005 is written by Tullio Vardanega and published by Springer Science & Business Media. It's available with International Standard Book Number or ISBN identification 3540262865 (ISBN 10) and 9783540262862 (ISBN 13).
This book constitutes the refereed proceedings of the 10th International Conference on Reliable Software Technologies, Ada-Europe 2005, held in York, UK in June 2005. The 21 revised full papers presented were carefully reviewed and selected from numerous submissions. The papers are organized in topical sections on applications, design and scheduling, formal methods, Ada and education, certification and verification, distributed systems, language aspects, and Ravenscar technology.
