Software and systems safety specification and verification /

Gardado en:
Detalles Bibliográficos
Corporate Authors: ebrary, Inc, NATO Advanced Study Institute on Software and Systems Safety : Specification and Verification
Outros autores: Broy, Manfred, Leuxner, Christian, Hoare, A. G.
Formato: Electrónico Conference Proceeding eBook
Idioma:inglés
Publicado: Amsterdam, The Netherlands : IOS Press, 2011.
Series:NATO science for peace and security series. Information and communication security ; v. 30.
Subjects:
Acceso en liña:An electronic book accessible through the World Wide Web; click to view
Tags: Engadir etiqueta
Sen Etiquetas, Sexa o primeiro en etiquetar este rexistro!
Search Result 1

Software and systems safety specification and verification /

Publicado 2011
An electronic book accessible through the World Wide Web; click to view
Electrónico Conference Proceeding eBook