Software and systems safety specification and verification /

Furkejuvvon:

Bibliográfalaš dieđut
Searvvušdahkkit:	ebrary, Inc, NATO Advanced Study Institute on Software and Systems Safety : Specification and Verification
Eará dahkkit:	Broy, Manfred, Leuxner, Christian, Hoare, A. G.
Materiálatiipa:	Elektrovnnalaš Konfereansapublikašuvdna E-girji
Giella:	eaŋgalasgiella
Almmustuhtton:	Amsterdam, The Netherlands : IOS Press, 2011.
Ráidu:	NATO science for peace and security series. Information and communication security ; v. 30.
Fáttát:	Software protection > Congresses. Computer software > Reliability > Congresses. Software engineering > Congresses. Computer security > Congresses. System safety > Congresses. Electronic books.
Liŋkkat:	An electronic book accessible through the World Wide Web; click to view
Fáddágilkorat:	Lasit fáddágilkoriid Eai fáddágilkorat, Lasit vuosttaš fáddágilkora!

Interneahtta