IEEE High-Assurance Systems Engineering Workshop: October 21-22, 1996 Niagara on the Lake, Ontario, Canada : Proceedings - Couverture souple

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

9780818676291: IEEE High-Assurance Systems Engineering Workshop: October 21-22, 1996 Niagara on the Lake, Ontario, Canada : Proceedings

Couverture souple

ISBN 10 : 0818676299 ISBN 13 : 9780818676291

Editeur : IEEE Computer Society Press,U.S., 1997

L'�dition de cet ISBN n'est malheureusement plus disponible.

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.

Les informations fournies dans la section � Synopsis � peuvent faire r�f�rence � une autre �dition de ce titre.

�diteur: IEEE Computer Society Press,U.S.
Date d'�dition: 1997
Langue: anglais
ISBN 10: 0818676299
ISBN 13: 9780818676291
Reliure: Broch�
Nombre de pages: 112
Coordonn�es du fabricant: non disponible
Personne responsable: non disponible

IEEE High-Assurance Systems Engineering Workshop: October 21-22, 1996 Niagara on the Lake, Ontario, Canada : Proceedings - Couverture souple

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

Synopsis

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