Software safety and security : tools for analysis and verification :: ISBN 9781614990277 :: IOS Press 2012 :: OBNB, the Open British National Bibliography

Publication Data

Title Software safety and security : tools for analysis and verification
Contributors Tobias Nipkow, Orna Grumberg, Benedikt Hauptmann
Publisher IOS Press
Publication date 2012
Publication location Amsterdam
Language English

Descriptive Notes

"Proceedings of the NATO Advanced Study Institute on Tools for Analysis and Verification of Software Safety and Security, Bayrischzell, Germany, 2-14 August 2011"--T.p. verso.

Topics

Computer software :: Verification :: Congresses
Computer security :: Congresses

Catalogue Data

OBNB ID GBB323988
ISBN 10 1614990271
ISBN 13 9781614990277
Type BibliographicResource, Book
Dewey Classification 005.14

ISBD

P1053 ix, 387 p.
P1042 Includes bibliographical references and indexes.

Buy a copy

OBNB doesn't sell books, but you may be able to find a copy at one of these websites:

Software safety and security : tools for analysis and verification. ISBN 9781614990277. Published by IOS Press in 2012. Publication and catalogue information, links to buy online and reader comments.