Start Over Save to list Export MARC Display MelCat
     
book jacket
View Library Guide - Computer Science
Conference Ada-Europe International Conference on Reliable Software Technologies (10th : 2005 : York, England)
Title Reliable software technology [electronic resource] : Ada-Europe 2005 : 10th Ada-Europe International Conference on Reliable Software Technologies, York, UK, June 20-24, 2005 : proceedings / Tullio Vardanega, Andy Wellings (eds.).
Publication Info. Berlin ; New York : Springer, c2005.
Location Call No. Status Notes
 Libraries Electronic Books  ELECTRONIC BOOK-ACM Digital Library    AVAIL. ONLINE
Description xv, 271 p. : ill. ; 24 cm.
Series Lecture notes in computer science, 0302-9743 ; 3555
ACM Digital Library
Bibliography Includes bibliographical references and index.
Contents Applications -- Design and scheduling issues -- Formal methods -- Ada and education -- Certification and verification -- Distributed systems -- Language issues -- Ravenscar technology.
Access License restrictions may limit access.
Subject Computer software -- Reliability -- Congresses.
Added Author Vardanega, T. (Tullio)
Wellings, Andrew J.
ACM Digital Library
Added Title Ada-Europe 2005
10th Ada-Europe International Conference on Reliable Software Technologies
Tenth Ada-Europe International Conference on Reliable Software Technologies
Ada-Europe International Conference on Reliable Software Technologies
ISBN 9783540262862
3540262865 (pbk.)
Permanent url for this catalog record: