Software safety and security [electronic resource] : tools for analysis and verification / edited by Tobias Nipkow, Orna Grumberg and Benedikt Hauptmann.

By:

NATO Advanced Study Institute on Tools for Analysis and Verification of Software Safety and Security (2011 : Bayrischzell, Germany)

Contributor(s):

Series: NATO science for peace and security series. Sub-series D, Information and communication security ; ; v. 33.Publication details: Washington, D.C. : IOS Press, 2012.Description: ix, 387 p. : illISBN:

9781614990277 (hardcover)
9781614990284 (online)
9781614990284 (e-book)

Subject(s):

Genre/Form:

Electronic books.

LOC classification:

QA76.76.V47 N38 2011eb

Online resources:

Click here to access online

Item type:

eBooks

Average rating: 0.0 (0 votes)

Holdings ( 0 )
Title notes ( 4 )

No physical items for this record

"Published in cooperation with NATO Emerging Security Challenges Division."

"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.

Includes indexes.

Electronic reproduction. Palo Alto, Calif. : ebrary, 2013. Available via World Wide Web. Access may be limited to ebrary affiliated libraries.