IEEE High-Assurance Systems Engineering Workshop: October 21-22, 1996 Niagara on the Lake, Ontario, Canada : Proceedings - Softcover
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.
Search results for IEEE High-Assurance Systems Engineering Workshop: October...
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 5 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