Welcome to the Kids' Library!

Search for books, movies, music, magazines, and more.

Back to Search Results

Available items only

Previous Record Next Record

Electronic Book

Conference

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

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

Imprint

Washington, D.C. : IOS Press, 2012.

Connect to
Available to Pittsburg State University patrons only.

Copies

Location	Call No.	OPAC Message	Status
Axe ProQuest E-Book	Electronic Book	---	Available

Description	ix, 387 p. : ill.
Series	NATO science for peace and security series. Sub-series D, Information and communication security, 1874-6268 ; v. 33
	NATO science for peace and security series. Sub-series D, Information and communication security ; v. 33.
Note	"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.
Reproduction	Electronic reproduction. Ann Arbor, MI : ProQuest, 2015. Available via World Wide Web. Access may be limited to ProQuest affiliated libraries.
Subject	Computer software -- Verification -- Congresses.
	Computer security -- Congresses.
Genre/Form	Electronic books.
Added Author	Nipkow, Tobias, 1958-
	Grumberg, Orna.
	Hauptmann, Benedikt.
	NATO Emerging Security Challenges Division.
	ProQuest (Firm)
ISBN	9781614990277 (hardcover)
	9781614990284 (online)
	9781614990284 (electronic bk.)