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 Formal Logical Methods for System Security and Correctness (2007 : Marktoberdorf, Germany)

Title Formal logical methods for system security and correctness [electronic resource] / edited by Orna Grumberg, Tobias Nipkow and Christian Pfaller.

Imprint

Amsterdam, Netherlands ; Washington, DC : IOS Press, c2008.

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, 318 p. : ill.
Series	NATO security through science series. D, Information and communication security, 1874-6268 ; v. 14
	NATO security through science series. D, Information and communication security ; v. 14.
Note	"Proceedings of the NATO Advanced Study Institute on Formal Logical Methods for System Security and Correctness, Marktoberdorf, Germany, 31 July-12 August 2007."--T.p. verso.
Bibliography	Includes bibliographical references and index.
Reproduction	Electronic reproduction. Ann Arbor, MI : ProQuest, 2015. Available via World Wide Web. Access may be limited to ProQuest affiliated libraries.
Subject	Computer security -- Congresses.
	Computer logic -- Congresses.
Genre/Form	Electronic books.
Added Author	Grumberg, Orna.
	Nipkow, Tobias, 1958-
	Pfaller, Christian.
	ProQuest (Firm)
ISBN	9781586038434
	1586038435