Reliable software technology - ada europe 2005: 10th ada-europe international conference on reliable software technologies, york, uk, june 20-24, 2005, proceedings: 2005
Auteur :
Vardanega, Tullio
ISBN :
9783540262862
Date de publication :
8 juin 2005
Dimensions :
23,4 x 15,6 x 1,5 cm
Poids :
416 g
Format :
Trade paperback (US)
Langue :
Anglais
Pays d'origine :
Allemagne
Constitutes the proceedings of the 10th International Conference on Reliable Software Technologies, Ada-Europe 2005, held in York, UK in June 2005. This book contains papers that are organized in topical sections on applications, design and scheduling, formal methods, Ada and education, certification and verification, and distributed systems.