Skip to main content
PBS logo
 
 

Search - List of Books by Orna Grumberg

Total Books: 2
Formal Logical Methods for System Security and Correctness
Formal Logical Methods for System Security and Correctness [Nato Science for Peace and Security] (Hardcover)
ISBN-13: 9781586038434
ISBN-10: 1586038435
  ?
Model Checking
Model Checking (Hardcover)
ISBN-13: 9780262032704
ISBN-10: 0262032708
Genres: Computers & Technology, Substores
  ?

Back to the Top ↑
By using this Web site, you confirm that you have read, understood, and agreed to be bound by the Terms of Use. As an Amazon Associate we earn from qualifying purchases.
US Patent Number 7,877,315 | Copyright © 2004 - 2024 PaperBackSwap.com. All Rights Reserved.