Software and systems safety specification and verification /

Salvato in:
Dettagli Bibliografici
Enti autori: ebrary, Inc, NATO Advanced Study Institute on Software and Systems Safety : Specification and Verification
Altri autori: Broy, Manfred, Leuxner, Christian, Hoare, A. G.
Natura: Elettronico Atti del Convegno eBook
Lingua:inglese
Pubblicazione: Amsterdam, The Netherlands : IOS Press, 2011.
Serie:NATO science for peace and security series. Information and communication security ; v. 30.
Soggetti:
Accesso online:An electronic book accessible through the World Wide Web; click to view
Tags: Aggiungi Tag
Nessun Tag, puoi essere il primo ad aggiungerne!!
Descrizione
Descrizione fisica:ix, 285 p. : ill. (some col.).
Bibliografia:Includes bibliographical references and indexes.
ISSN:1874-6268 ;