Skip to main content
Rongo Univesity Library
Your cart is empty.
Cart
Lists
Public lists
School of Infocoms
School of Agriculture
Psychology Books
Marketing for hospitality and tourism
Your lists
Log in to create your own lists
Log in to your account
Your cookies
Search history
Search the catalog by:
Library catalog
Title
Author
Subject
ISBN
ISSN
Series
Call number
Search the catalog
Advanced search
Authority search
Tag cloud
Libraries
Log in to your account
Card number or username:
Password:
Home
Advanced search
Results of search for 'au:"Grumberg, Orna."'
Refine your search
Availability
Limit to records with available items
Authors
Esparza, Javier
Grumberg, Orna
Hauptmann, Benedikt
Irlbeck, Maximilian
Nipkow, Tobias
Pfaller, Christian
Seidl, Helmut
Spanfelner, Bernd
Show more
Show less
Series
NATO science for pea...
NATO science for pea...
NATO Science for Pea...
NATO security throug...
Topics
Computer logic
Computers
Computer security
Computer software
Languages, Artificia...
Programming language...
Software engineering
Systems software
Show more
Show less
Your search returned 7 results.
Sort
Sort results by:
Sort by:
Relevance
Popularity (most to least)
Popularity (least to most)
Author (A-Z)
Author (Z-A)
Call number (0-9 to A-Z)
Call number (Z-A to 9-0)
Publication/Copyright date: Newest to oldest
Publication/Copyright date: Oldest to newest
Acquisition date: Newest to oldest
Acquisition date: Oldest to newest
Title (A-Z)
Title (Z-A)
Unhighlight
Highlight
Select all
Clear all
Select titles to:
Add to cart
Add to list
New list
Place hold
Results
1.
Image from Google Jackets
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.
Material type:
Text
; Format:
electronic available online
; Literary form:
Not fiction
Publication details:
Amsterdam, Netherlands ; Washington, DC :
IOS Press,
c2008
Online resources:
An electronic book accessible through the World Wide Web; click to view
Availability:
No items available.
star rating
Average : 0.0 out of 5 stars
Save to lists
Add to cart
(remove)
2.
Image from Google Jackets
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.
Material type:
Text
; Format:
electronic available online
; Literary form:
Not fiction
Publication details:
Amsterdam, Netherlands ; Washington, DC :
IOS Press,
c2008
Online resources:
An electronic book accessible through the World Wide Web; click to view
Availability:
No items available.
star rating
Average : 0.0 out of 5 stars
Save to lists
Add to cart
(remove)
3.
Image from Google Jackets
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
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 resources:
An electronic book accessible through the World Wide Web; click to view
Availability:
No items available.
star rating
Average : 0.0 out of 5 stars
Save to lists
Add to cart
(remove)
4.
Image from Google Jackets
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
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 resources:
An electronic book accessible through the World Wide Web; click to view
Availability:
No items available.
star rating
Average : 0.0 out of 5 stars
Save to lists
Add to cart
(remove)
5.
Image from Google Jackets
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 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,
2014
Copyright date:
�2014
Online resources:
An electronic book accessible through the World Wide Web; click to view
Availability:
No items available.
star rating
Average : 0.0 out of 5 stars
Save to lists
Add to cart
(remove)
6.
Image from Google Jackets
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
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 resources:
An electronic book accessible through the World Wide Web; click to view
Availability:
No items available.
star rating
Average : 0.0 out of 5 stars
Save to lists
Add to cart
(remove)
7.
Image from Google Jackets
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
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 resources:
An electronic book accessible through the World Wide Web; click to view
Availability:
No items available.
star rating
Average : 0.0 out of 5 stars
Save to lists
Add to cart
(remove)
Not finding what you're looking for?
Make a
purchase suggestion
© 2026 Rongo University
Contact us:
librarian
|
system librarian
|
Rongo university
