|
|
|
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. Material type:  Book; Format:
electronic
available online
 ; Literary form:
Not fiction
Publisher: Amsterdam, Netherlands ; Washington, DC : IOS Press, c2008Online access: An electronic book accessible through the World Wide Web; click to view Availability: No items 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 | ebrary, Inc. Material type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Amsterdam, Netherlands ; Washington, DC : IOS Press, c2008Online access: An electronic book accessible through the World Wide Web; click to view Availability: Items available for loan: IUKL Library (1).
|
|
|
|
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 | ebrary, Inc. Material type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Washington, D.C. : IOS Press, 2012Online access: An electronic book accessible through the World Wide Web; click to view Availability: Items available for loan: IUKL Library (1).
|
|
|
|
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�at M�unchen (Germany) | TECHNION. Israel Institute of Technology (Israel) | ebrary, Inc. Material type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Washington, D.C. : IOS Press, 2010Online access: An electronic book accessible through the World Wide Web; click to view Availability: Items available for loan: IUKL Library (1).
|
|
|
|
Software systems safety / edited by Orna Grumberg, Helmut Seidl and Maximilian Irlbeck.
by Grumberg, Orna [editor.] | Seidl, Helmut [editor.] | Irlbeck, Maximilian [editor.]. Material type: Book; Format:
available online
; Literary form:
Not fiction
Publisher: Amsterdam, Netherlands : IOS Press, 2014Copyright date: �2014Online access: An electronic book accessible through the World Wide Web; click to view Availability: Items available for loan: IUKL Library (1).
|
|
|
|
Dependable software systems engineering / edited by Javier Esparza, Orna Grumberg, Salomon Sickert.
by Esparza, Javier [editor.] | Grumberg, Orna [editor.] | Sickert, Salomon [editor.]. Material type: Book; Format:
available online
; Literary form:
Not fiction
Publisher: Amsterdam, Netherlands ; Berlin, [Germany] ; Washington, District of Columbia : IOS Press, 2016Copyright date: �2016Online access: An electronic book accessible through the World Wide Web; click to view Availability: Items available for loan: IUKL Library (1).
|
