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

By: Contributor(s): Material type: TextTextSeries: 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. : illSubject(s): Genre/Form: LOC classification:
  • QA76.76.V47 N38 2011eb
Online resources:
Tags from this library: No tags from this library for this title. Log in to add tags.
Star ratings
    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. Palo Alto, Calif. : ebrary, 2013. Available via World Wide Web. Access may be limited to ebrary affiliated libraries.

There are no comments on this title.

to post a comment.