1996 IEEE Workshop on High-Assurance Software Engineering : HASE 96

IEEE Computer Society

ISBN 10: 0818676299 / ISBN 13: 9780818676291

Edité par I E E E Computer Society Press, Los Alamitos, CA, U.S.A., 1997

Unread 287 Pages. Because of the size of this book, we can only ship to Canada or USA. N° de réf. du vendeur 003611

Synopsis :

This text explores high-assurance software design and development. It includes: specification and testing of high-assurance systems; quality and high assurance; concurrency and high-assurance; high-assurance execution environments; security; and reliability and high-assurance.

Détails bibliographiques

Titre : 1996 IEEE Workshop on High-Assurance ...
Éditeur : I E E E Computer Society Press, Los Alamitos, CA, U.S.A.
Date d'édition : 1997
Reliure : Soft cover
Etat : As New