My Library

     
Limit search to available items
Book Cover
EBOOK
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.)
OCLC # sseb_ssj0000319808
View Shelf for Similar Items