4096102
9783540262862
Reliable Software Technology? Ada-europe 2005 10th Ada-europe International Conference on Reliable Software Technologies, York, Uk, June 20-24, 2005, Proceedings
by Vardanega, Tullio, Wellings, Andy
About this item
- Condition: New
- Provider: LightningBooks Contact
- Provider Rating: 85%
- Ships From: Multiple Locations
- Shipping: Standard, Expedited (tracking available)
- Comments: Fast shipping! All orders include delivery confirmation.
Product details
- ISBN-13: 9783540262862
- ISBN: 3540262865
- Publication Date: 2005
- Publisher: Springer
AUTHOR
SUMMARY
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.Vardanega, Tullio is the author of 'Reliable Software Technology? Ada-europe 2005 10th Ada-europe International Conference on Reliable Software Technologies, York, Uk, June 20-24, 2005, Proceedings', published 2005 under ISBN 9783540262862 and ISBN 3540262865.
[read more]
The ValoreBooks Guarantee
With our dedicated customer support team, you can rest easy knowing that we're doing everything we can to save you time, money, and stress.
