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):

Material type: Text

TextSeries: 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:

9781614990284 (electronic bk.)

Subject(s):

Genre/Form:

Electronic books.

LOC classification:

QA76.76.V47 N38 2011

Online resources:

Click to View

Item type:

Tags from this library: No tags from this library for this title. Log in to add tags.

Average rating: 0.0 (0 votes)

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. Ann Arbor, MI : ProQuest, 2015. Available via World Wide Web. Access may be limited to ProQuest affiliated libraries.

There are no comments on this title.

to post a comment.

DeKUT Library

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