Articoli correlati a IEEE High-Assurance Systems Engineering Workshop: October...
IEEE High-Assurance Systems Engineering Workshop: October 21-22, 1996 Niagara on the Lake, Ontario, Canada : Proceedings - Brossura
Sinossi
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.
Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.
- EditoreIEEE Computer Society
- Data di pubblicazione1997
- ISBN 10 0818676299
- ISBN 13 9780818676291
- RilegaturaCopertina flessibile
- LinguaInglese
- Numero di pagine285
- Contatto del produttorenon disponibile
Risultati della ricerca per IEEE High-Assurance Systems Engineering Workshop: October...
Foto dell'editore
1996 IEEE Workshop on High-Assurance Software Engineering : HASE 96
Editore:
I E E E Computer Society Press, Los Alamitos, CA, U.S.A., 1997
ISBN 10: 0818676299
ISBN 13: 9780818676291
Antico o usato
Soft cover
Da: G3 Books, Winnipeg, MB, Canada
Valutazione del venditore 4 su 5 stelle
Soft cover. Condizione: As New. Unread 287 Pages. Because of the size of this book, we can only ship to Canada or USA. n. Codice articolo 003611
Quantità: 1 disponibili