Catalog
Bookmarks
0
Course Reserves
My Account
Advanced search
Search in
Keyword
Title
Author/Creator
Subject
Browse by LC Call Number
Browse by Author
Browse by Subject
search for
Search
Advanced search
Start Over
Share
Email
RIS file
Bookmark
Report an Issue
Software and systems safety [electronic resource] : specification and verification / edited by Manfred Broy, Christian Leuxner and Tony Hoare
Published:
Amsterdam ; Washington, D.C. : IOS Press, c2011.
Physical Description:
ix, 285 p. : ill. ; 25 cm.
Additional Creators:
Broy, M., 1949-
,
Leuxner, Christian
,
Hoare, C. A. R. (Charles Antony Richard), 1934-
, and
NATO Advanced Study Institute on Software and Systems Safety: Specification and Verification (2010: Marktoberndorf, Germany)
Access Online
serialssolutions.com
Availability
I Want It
I Want It
Finding items...
Series:
NATO science for peace and security series. Sub-series D, Information and communication security ; v. 30. 1874-6268
Restrictions on Access:
License restrictions may limit access.
Subject(s):
Computer security
—
Congresses
Computer software
—
Verification
—
Congresses
Software engineering
—
Congresses
Genre(s):
Electronic books
ISBN:
1607507102 (hbk.)
9781607507109 (hbk.)
9781607507116 (ebk.)
Bibliography Note:
Includes bibliographical references and index.
View MARC record
| catkey: 20536091