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: Amsterdam ; Washington, D.C. : IOS Press, c2012.Description: 1 online resource : illISBN:

9781614990284 (electronic bk.)
161499028X (electronic bk.)

Subject(s):

Genre/Form:

Electronic books.

DDC classification:

005.1/4 23

LOC classification:

QA76.76.V47 N38 2012eb

Online resources:

EBSCOhost

Holdings ( 1 )
Title notes ( 3 )

Holdings
Item type	Current library	Collection	Call number	Status	Date due	Barcode	Item holds
eBook	e-Library	EBSCO Computers		Available

Total holds: 0

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

International conference proceedings.

Includes indexes.