Your search returned 7 results.

Results
	1.		Image from Amazon.com	Formal logical methods for system security and correctness [electronic resource] / edited by Orna Grumberg, Tobias Nipkow and Christian Pfaller. by NATO Advanced Study Institute on Formal Logical Methods for System Security and Correctness (2007 : Marktoberdorf, Germany) Grumberg, Orna Nipkow, Tobias, 1958- Pfaller, Christian ebrary, Inc Series: NATO security through science series. D, Information and communication security ; ; v. 14. Publication details: Amsterdam, Netherlands ; Washington, DC : IOS Press, c2008 Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
	2.		Image from Amazon.com	Logics and languages for reliability and security [electronic resource] / [edited by] Javier Esparza, Bernd Spanfelner, Orna Grumberg. by Esparza, Javier Spanfelner, Bernd Grumberg, Orna ebrary, Inc Technische Universit�at M�unchen (Germany) TECHNION. Israel Institute of Technology (Israel) Series: NATO science for peace and security series. Sub-series D, Information and communication security ; ; v. 25. Publication details: Washington, D.C. : IOS Press, 2010 Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
	3.		Image from Amazon.com	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) Nipkow, Tobias, 1958- Grumberg, Orna Hauptmann, Benedikt ebrary, Inc NATO Emerging Security Challenges Division Series: NATO science for peace and security series. Sub-series D, Information and communication security ; ; v. 33. Publication details: Washington, D.C. : IOS Press, 2012 Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
	4.		Image from Amazon.com	Software systems safety / edited by Orna Grumberg, Helmut Seidl and Maximilian Irlbeck. by Grumberg, Orna [editor.] Seidl, Helmut [editor.] Irlbeck, Maximilian [editor.] ebrary, Inc Series: NATO science for peace and security series. Sub-series D, Information and communication security ; ; Volume 36.Publisher: Amsterdam, Netherlands : IOS Press, 2014Copyright date: �2014 Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
	5.		Image from Amazon.com	Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 13th International Conference, TACAS 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007 Braga, Portugal, March 24 - April 1, 2007. Proceedings / edited by Orna Grumberg, Michael Huth. by Grumberg, Orna [editor.] Huth, Michael [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 4424Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
	6.		Image from Amazon.com	25 Years of Model Checking [electronic resource] : History, Achievements, Perspectives / edited by Orna Grumberg, Helmut Veith. by Grumberg, Orna [editor.] Veith, Helmut [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 5000Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
	7.		Image from Amazon.com	Languages: From Formal to Natural [electronic resource] : Essays Dedicated to Nissim Francez on the Occasion of His 65th Birthday / edited by Orna Grumberg, Michael Kaminski, Shmuel Katz, Shuly Wintner. by Grumberg, Orna [editor.] Kaminski, Michael [editor.] Katz, Shmuel [editor.] Wintner, Shuly [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 5533Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)

Copyright © 2020 Alfaisal University Library. All Rights Reserved.
Tel: +966 11 2158948 Fax: +966 11 2157910 Email: librarian@alfaisal.edu