Software and systems safety specification and verification /

Tallennettuna:
Bibliografiset tiedot
Yhteisötekijät: ebrary, Inc, NATO Advanced Study Institute on Software and Systems Safety : Specification and Verification
Muut tekijät: Broy, Manfred, Leuxner, Christian, Hoare, A. G.
Aineistotyyppi: Elektroninen Konferenssijulkaisu E-kirja
Kieli:englanti
Julkaistu: Amsterdam, The Netherlands : IOS Press, 2011.
Sarja:NATO science for peace and security series. Information and communication security ; v. 30.
Aiheet:
Linkit:An electronic book accessible through the World Wide Web; click to view
Tagit: Lisää tagi
Ei tageja, Lisää ensimmäinen tagi!