1 - 7 of 7 results for "Orna Grumberg"

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
Paperback $123.25 $179.00 Current price is $123.25, Original price is $179.00.
Title: 25 Years of Model Checking: History, Achievements, Perspectives, Author: Orna Grumberg
Title: Formal Logical Methods for System Security and Correctness, Author: Orna Grumberg
Hardcover $115.98 $161.00 Current price is $115.98, Original price is $161.00.
Title: Computer Aided Verification: 9th International Conference, CAV'97, Haifa, Israel, June 22-25, 1997, Proceedings / Edition 1, Author: Orna Grumberg
Paperback $89.84 $129.00 Current price is $89.84, Original price is $129.00.
Title: Languages: From Formal to Natural: Essays Dedicated to Nissim Francez on the Occasion of His 65th Birthday, Author: Orna Grumberg
Title: Model Checking / Edition 2, Author: Edmund M. Clarke Jr.
Hardcover $67.41 $75.00 Current price is $67.41, Original price is $75.00.
Find the Gifts of Your Season at B&N
SHOP NOW
Title: Model Checking / Edition 1, Author: Edmund M. Clarke Jr.
Hardcover $67.50 $75.00 Current price is $67.50, Original price is $75.00.