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

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

Softcover

ISBN 10: 0818676299 ISBN 13: 9780818676291

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

Zu dieser ISBN ist aktuell kein Angebot verf�gbar.

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.

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.

Verlag: IEEE Computer Society Press,U.S.
Erscheinungsdatum: 1997
Sprache: Englisch
ISBN 10: 0818676299
ISBN 13: 9780818676291
Einband: Taschenbuch
Anzahl der Seiten: 285
Kontakt zum Hersteller: Nicht verf�gbar
Verantwortliche Person: Nicht verf�gbar

Verwandte Artikel zu IEEE High-Assurance Systems Engineering Workshop: October...

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

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

Inhaltsangabe

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