Software and systems safety : specification and verification
By: Broy, Manfred.
Contributor(s): Hoare, Tony | Leuxner, Christian | NATO Advanced Study Institute on Software and Systems Safety: Specification and Verification.
Material type:
BookSeries: NATO science for peace and security series. Sub-series D. information and communication security.Publisher: Amsterdam: IOS Press, 2011Description: ix, 285 p.; ill.: 25 cm.ISBN: 9781607507109 .Subject(s): Computer security -- Congresses | Computer software -- Verification -- Congresses | Software engineering -- CongressesDDC classification: 005.8
| Item type | Current location | Call number | Status | Date due | Barcode |
|---|---|---|---|---|---|
| Books | 005.8 BRO (Browse shelf) | Available | 026486 |
There are no comments for this item.