Title:
Logics and languages for reliability and security
Series:
NATO science for peace and security series. D, Information and communication security ; v. 25
NATO science for peace and security series. Sub-series D, Information and communication security ; v. 25
Publication Information:
Washington, D.C. : IOS Press, 2010
Physical Description:
ix, 325 p. : ill. ; 25 cm.
ISBN:
9781607500995
Available:*
Library | Item Barcode | Call Number | Material Type | Item Category 1 | Status |
---|---|---|---|---|---|
Searching... | 30000010321561 | QA76.7 L644 2010 | Open Access Book | Book | Searching... |
On Order
Summary
Summary
Software-intensive systems are today an integral part of many everyday products. Whilst they provide great benefits regarding ease of use and allow for new applications, they also impose enormous responsibilities. It is vital to ensure that such applicati