Software and systems safety [electronic resource] : specification and verification / edited by Manfred Broy, Christian Leuxner and Tony Hoare.
Contributor(s): Broy, Manfred | Leuxner, Christian | Hoare, A. G | ebrary, Inc | NATO Advanced Study Institute on Software and Systems Safety : Specification and Verification (2010 : Marktoberdorf, Germany).
Material type:![materialTypeLabel](/opac-tmpl/lib/famfamfam/BK.png)
Item type | Current location | Collection | Call number | URL | Copy number | Status | Date due | Item holds |
---|---|---|---|---|---|---|---|---|
![]() |
IUKL Library | Subscripti | http://site.ebrary.com/lib/kliuc/Doc?id=10506356 | 1 | Available |
Total holds: 0
Includes bibliographical references and indexes.
Electronic reproduction. Palo Alto, Calif. : ebrary, 2013. Available via World Wide Web. Access may be limited to ebrary affiliated libraries.
There are no comments for this item.