Koha online

Normal view MARC view ISBD view

Broy, Manfred

Software and systems safety : specification and verification - Amsterdam: IOS Press, 2011 - ix, 285 p.; ill.: 25 cm. - NATO science for peace and security series. Sub-series D. information and communication security .

ISBN: 9781607507109 (hbk)

Subjects--Topical Terms:
Computer security -- Congresses
Computer software -- Verification -- Congresses
Software engineering -- Congresses

Dewey Class. No.: 005.8 / BRO