Welcome to the Kids' Library!

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

Back to Search Results

Available items only

Previous Record Next Record

E-Book/E-Doc

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