Search

Your search returned 7 results.

Not what you expected? Check for suggestions

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 seriesDInformation and communication security ; v. 14.Material type: Text; Format: electronic available online ; Literary form: Not fiction Publication details: Amsterdam, Netherlands ; Washington, DC : IOS Press, c2008Online access: Click to View Availability: No items available. Add to cart (remove)
		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 Universitat Munchen (Germany) \| TECHNION. Israel Institute of Technology (Israel) \| ProQuest (Firm). Series: NATO science for peace and security seriesSub-series DInformation and communication security ; v. 25.Material type: Text; Format: electronic available online ; Literary form: Not fiction Publication details: Washington, D.C. : IOS Press, 2010Online access: Click to View Availability: No items available. Add to cart (remove)
		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 seriesSub-series DInformation and communication security ; v. 33.Material type: Text; Format: electronic available online ; Literary form: Not fiction Publication details: Washington, D.C. : IOS Press, 2012Online access: Click to View Availability: No items available. Add to cart (remove)
		Software systems safety / edited by Orna Grumberg, Helmut Seidl and Maximilian Irlbeck. by Grumberg, Orna [editor.] \| Seidl, Helmut [editor.] \| Irlbeck, Maximilian [editor.]. Series: NATO science for peace and security seriesSub-series DInformation and communication security ; Volume 36.Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Amsterdam, Netherlands : IOS Press, 2014Copyright date: 2014Online access: Click to View Availability: No items available. Add to cart (remove)
		Software systems safety / edited by Orna Grumberg, Helmut Seidl and Maximilian Irlbeck. by Grumberg, Orna [editor.] \| Seidl, Helmut [editor.] \| Irlbeck, Maximilian [editor.]. Series: NATO science for peace and security seriesSub-series DInformation and communication security ; Volume 36.Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Amsterdam, Netherlands : IOS Press, 2014Copyright date: 2014Online access: Click to View Availability: No items available. Add to cart (remove)
		Dependable software systems engineering / edited by Javier Esparza, Orna Grumberg, Salomon Sickert. by Esparza, Javier [editor.] \| Grumberg, Orna [editor.] \| Sickert, Salomon [editor.]. Series: NATO science for peace and security seriesSub-series DInformation 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: 2016Online access: Click to View Availability: No items available. Add to cart (remove)
		Dependable software systems engineering / edited by Javier Esparza, Orna Grumberg, Salomon Sickert. by Esparza, Javier [editor.] \| Grumberg, Orna [editor.] \| Sickert, Salomon [editor.]. Series: NATO science for peace and security seriesSub-series DInformation 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: 2016Online access: Click to View Availability: No items available. Add to cart (remove)