Your search returned 5 results.

Results
		No cover image available 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 ProQuest (Firm) Series: NATO security through science series. D, Information and communication security ; ; v. 14. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publication details: Amsterdam, Netherlands ; Washington, DC : IOS Press, c2008 Online access: Click to View Availability: Items available for loan: TUS: Midlands, Main Library (1)Location, call number: Athlone Online eBook. Place recall Add to cart (remove)
		No cover image available Logics and languages for reliability and security [electronic resource] / [edited by] Javier Esparza, Bernd Spanfelner, Orna Grumberg. by Esparza, Javier Spanfelner, Bernd Grumberg, Orna Technische Universität München (Germany) TECHNION. Israel Institute of Technology (Israel) ProQuest (Firm) Series: NATO science for peace and security series. Sub-series D, Information and communication security ; ; v. 25. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publication details: Washington, D.C. : IOS Press, 2010 Online access: Click to View Availability: Items available for loan: TUS: Midlands, Main Library (1)Location, call number: Athlone Online eBook. Place recall Add to cart (remove)
		Dependable software systems engineering / edited by Javier Esparza, Orna Grumberg, Salomon Sickert. [electronic resource] by Esparza, Javier [editor.] Grumberg, Orna [editor.] Sickert, Salomon [editor.] Series: NATO science for peace and security series. Sub-series D, Information and communication security ; ; Volume 45. Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Amsterdam, Netherlands ; Berlin, [Germany] ; Washington, District of Columbia : IOS Press, 2016Copyright date: ©2016 Online access: Click to View Availability: Items available for loan: TUS: Midlands, Main Library (1)Location, call number: Athlone Online eBook. Place recall Add to cart (remove)
		No cover image available 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 NATO Emerging Security Challenges Division ProQuest (Firm) Series: NATO science for peace and security series. Sub-series D, Information and communication security ; ; v. 33. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publication details: Washington, D.C. : IOS Press, 2012 Online access: Click to View Availability: Items available for loan: TUS: Midlands, Main Library (1)Location, call number: Athlone Online eBook. Place recall Add to cart (remove)
		Software systems safety / edited by Orna Grumberg, Helmut Seidl and Maximilian Irlbeck. [electronic resource] by Grumberg, Orna [editor.] Seidl, Helmut [editor.] Irlbeck, Maximilian [editor.] Series: NATO science for peace and security series. Sub-series D, Information and communication security ; ; Volume 36. Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Amsterdam, Netherlands : IOS Press, 2014Copyright date: ©2014 Online access: Click to View Availability: Items available for loan: TUS: Midlands, Main Library (1)Location, call number: Athlone Online eBook. Place recall Add to cart (remove)

Report a problem

Powered by Koha