Premium Members Get 10% Off and Earn Rewards Find Out More

 

1 - 6 of 6 results for "Orna Grumberg"

Grid View Grid
List View List
Grid View Grid
List View List
Title: Model Checking, second edition / Edition 2, Author: Edmund M. Clarke Jr.
QUICK ADD
Model Checking, second edition…
by Edmund M. Clarke Jr., Orna Grumberg, Daniel Kroening, Doron Peled, Helmut Veith
Explore Series
Hardcover $75.00
Title: Languages: From Formal to Natural: Essays Dedicated to Nissim Francez on the Occasion of His 65th Birthday, Author: Orna Grumberg
QUICK ADD
Languages: From Formal to…
by Orna Grumberg (Editor), Michael Kaminski (Editor), Shmuel Katz (Editor), Shuly Wintner (Editor)
#5533 in Series
Paperback $54.99
Title: Formal Logical Methods for System Security and Correctness, Author: Orna Grumberg
QUICK ADD
Formal Logical Methods for…
by Orna Grumberg, Tobias Nipkow, Christian Pfaller
Hardcover $161.00
Title: 25 Years of Model Checking: History, Achievements, Perspectives, Author: Orna Grumberg
QUICK ADD
25 Years of Model Checking:…
by Orna Grumberg (Editor), Helmut Veith (Editor)
#5000 in Series
Paperback $37.99
Title: Computer Aided Verification: 9th International Conference, CAV'97, Haifa, Israel, June 22-25, 1997, Proceedings / Edition 1, Author: Orna Grumberg
QUICK ADD
Computer Aided Verification:…
by Orna Grumberg
#1254 in Series
Paperback $54.99
Title: Tools and Algorithms for the Construction and Analysis of Systems: 13th International Conference, TACAS 2007 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007 Braga, Portugal, March 24 - April 1, 2007 Proceeding / Edition 1, Author: Orna Grumberg
QUICK ADD
Tools and Algorithms for the…
by Orna Grumberg, Michael Huth
#4424 in Series
Paperback $109.99