Software and systems safety [electronic resource] : specification and verification / edited by Manfred Broy, Christian Leuxner and Tony Hoare.
Broy, Manfred.; Leuxner, Christian.; Hoare, A. G.; NATO Advanced Study Institute on Software and Systems Safety : Specification and Verification (2010 : Marktoberdorf, Germany)
2011
QA76.76.P76 S64 2011eb
Available Online

Linked e-resources

Linked Resource
Online Access

Details

Title
Software and systems safety [electronic resource] : specification and verification / edited by Manfred Broy, Christian Leuxner and Tony Hoare.
ISBN
9781607507109
9781607507116 (e-book)
Publication Details
Amsterdam, The Netherlands : IOS Press, 2011.
Language
English
Description
ix, 285 p. : ill. (some col.).
Call Number
QA76.76.P76 S64 2011eb
Bibliography, etc. Note
Includes bibliographical references and indexes.
Access Note
Access limited to authorized users.
Added Author
Broy, Manfred.
Leuxner, Christian.
Hoare, A. G.
Added Meeting Name
NATO Advanced Study Institute on Software and Systems Safety : Specification and Verification (2010 : Marktoberdorf, Germany)
Series
NATO science for peace and security series. Sub-series D, Information and communication security, 1874-6268 ; v. 30
Linked Resources
Online Access
Record Appears in
Online Resources > Ebooks
All Resources

Browse Subjects

Show more subjects...

Statistics

from
to
Export