Arthur Neef Law Library Purdy/Kresge Library Reuther Library Shiffman Medical Library Undergraduate Library
Menu

Resources

Services

Information

Help

Social

Sign In

Help
Chat Email Call Text FAQ Staff Directory Appointments
Sign In
Wayne State Login Academica, Canvas, Email, etc. My Library Account Renew Books, Request Material, etc.

My Library

Back to Catalog Homepage
Add to My Lists
Save Record
MARC Display
     
Limit search to available items
Resources
eBook Features
View Library Guide - Computer Science
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.).
Conference Ada-Europe International Conference on Reliable Software Technologies (10th : 2005 : York, England)
Publication Info. Berlin ; New York : Springer, c2005.

Connect to
Read this Ebook - WSU authorized users
Shelf View
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