Items related to High-Assurance Software Engineering Workshop (Hase...

High-Assurance Software Engineering Workshop (Hase '96) - Softcover

IEEE Computer Society; IEEE; IEEE High-Assurance Systems Engineering Workshop

 
9780818676291: High-Assurance Software Engineering Workshop (Hase '96)
Softcover
ISBN 10: 0818676299 ISBN 13: 9780818676291
Publisher: IEEE Computer Society Press,U.S., 1997

This specific ISBN edition is currently not available.

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.

Publisher
IEEE Computer Society Press,U.S.
Publication date
1997
Language
English
ISBN 10 
0818676299
ISBN 13 
9780818676291
Binding
Paperback
Number of pages
112