Software and systems safety. [elektronicky zdroj] : specification and verification.

Další autoři:	Broy, Manfred Leuxner, Christian Hoare, A. G. ProQuest (Firm) NATO Advanced Study Institute on Software and Systems Safety : Specification and Verification (2010 : Marktoberdorf, Germany)
Jazyk:	angličtina
Informace o vydání:	Amsterdam, The Netherlands : IOS Press, 2011.
Předmět:	Software protection -- Congresses Computer software -- Reliability -- Congresses Software engineering -- Congresses Computer security -- Congresses System safety -- Congresses Electronic books
Druh dokumentu:	Bibliographies; Conference publication; Electronic; Non-fiction; Electronic document
ISSN:	1874-6268 ;
Databáze:	Vybrané kolekce e-knih
Externí odkaz:	Kolekce e-knih KNAV