Kansikuva
QR-koodi

Engineering dependable software systems /

Näytä muut versiot (1)
Tallennettuna:
Yhteisötekijä: NATO Advanced Study Institute on Engineering Dependable Software Systems Marktoberdorf, Germany
Muut tekijät: Broy, M., 1949-, Kalus, Georg, Peled, Doron, 1962-
Aineistotyyppi: Elektroninen Konferenssijulkaisu E-kirja
Kieli:englanti
Julkaistu: Amsterdam ; Washington, D. C. : IOS Press, [2013]
Sarja:NATO science for peace and security series. Information and communication security ; v. 34.
Aiheet:
Computer software > Verification > Congresses.
Computer systems > Verification > Congresses.
Electronic books.
Linkit:An electronic book accessible through the World Wide Web; click to view
Tagit: Lisää tagi
Ei tageja, Lisää ensimmäinen tagi!
Huomautukset:"Proceedings of the NATO Advanced Study Institute on Engineering Dependable Software Systems, Marktoberdorf, Germany, 31 July - 12 August 2012"--Title page verso.
"Published in cooperation with NATO Emerging Security Challenges Division."
Ulkoasu:1 online resource (376 pages) : illustrations.
Bibliografia:Includes bibliographical references and indexes.
ISBN:9781614992073 (ebook)

Samankaltaisia teoksia