Image from Amazon.com
Software safety and security : tools for analysis and verification / edited by Tobias Nipkow, Orna Grumberg and Benedikt Hauptmann
Material type:
TextSeries: Publication details: Washington, DC : IOS Press published in cooperation with NATO Emerging Security Challenges Division, 2012Description: ix, 387 p. : ill. ; 25 cmISBN: - 9781614990277
- 1614990271
| Item type | Current library | Call number | Copy number | Status | Date due | Barcode | |
|---|---|---|---|---|---|---|---|
Open Shelf
|
UMPLIB PEKAN | QA76.76.V47 S64 2011 (Browse shelf(Opens below)) | 1 | Available | 0000085488 |
Includes bibliographical references and indexes