Items related to High-Assurance Software Engineering Workshop (Hase...
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.
"synopsis" may belong to another edition of this title.
- PublisherIEEE Computer Society Press,U.S.
- Publication date1997
- ISBN 10 0818676299
- ISBN 13 9780818676291
- BindingPaperback
- LanguageEnglish
- Number of pages112
Search results for High-Assurance Software Engineering Workshop (Hase...
Stock Image
1996 IEEE Workshop on High-Assurance Software Engineering : HASE 96
Published by
I E E E Computer Society Press, Los Alamitos, CA, U.S.A., 1997
ISBN 10: 0818676299
ISBN 13: 9780818676291
Used
Soft cover
Seller: G3 Books, Winnipeg, MB, Canada
Seller rating 4 out of 5 stars
Soft cover. Condition: As New. Unread 287 Pages. Because of the size of this book, we can only ship to Canada or USA. n. Seller Inventory # 003611
Quantity: 1 available