Engineering dependable software systems. [elektronicky zdroj]

Další autoři:	Broy, M., 1949- Kalus, Georg Peled, Doron, 1962-
Jazyk:	angličtina
Informace o vydání:	Amsterdam ; Washington, D. C. : IOS Press, [2013]
Předmět:	Computer software -- Verification -- Congresses Computer systems -- Verification -- Congresses Electronic books
Druh dokumentu:	Bibliographies; Conference publication; Online; Non-fiction; Electronic document
Databáze:	Vybrané kolekce e-knih
Externí odkaz:	Kolekce e-knih KNAV