Sell, buy or rent Orna Grumberg textbooks

9783642017476-3642017479-Languages: From Formal to Natural: Essays Dedicated to Nissim Francez on the Occasion of His 65th Birthday (Lecture Notes in Computer Science, 5533)
9783642017476-3642017479-Languages: From Formal to Natural: Essays Dedicated to Nissim Francez on the Occasion of His 65th Birthday (Lecture Notes in Computer Science, 5533)

Languages: From Formal to Natural: Essays Dedicated to Nissim Francez on the Occasion of His 65th Birthday (Lecture Notes in Computer Science, 5533)

by Orna Grumberg, Michael Kaminski, Shmuel Katz, Shuly Wintner
ISBN-13: 9783642017476
ISBN-10: 3642017479
Edition: 2009
Publisher: Springer
Format: Paperback 255 pages
Sell Shop now at Amazon
9780262038836-0262038838-Model Checking, second edition (Cyber Physical Systems Series)
9780262038836-0262038838-Model Checking, second edition (Cyber Physical Systems Series)

Model Checking, second edition (Cyber Physical Systems Series)

by Edmund M. Clarke Jr., Orna Grumberg, Daniel Kroening, Doron Peled, Helmut Veith
ISBN-13: 9780262038836
ISBN-10: 0262038838
Edition: 2nd ed.
Publication date: 2018
Publisher: The MIT Press
Format: Hardcover 424 pages
Sell Shop now at Amazon
9780262032704-0262032708-Model Checking
9780262032704-0262032708-Model Checking

Model Checking

by Edmund M. Clarke Jr., Orna Grumberg, Doron A. Peled
ISBN-13: 9780262032704
ISBN-10: 0262032708
Edition: n
Publication date: 1999
Publisher: Mit Pr
Format: Hardcover 330 pages
9783540698494-3540698493-25 Years of Model Checking: History, Achievements, Perspectives (Lecture Notes in Computer Science, 5000)
9783540698494-3540698493-25 Years of Model Checking: History, Achievements, Perspectives (Lecture Notes in Computer Science, 5000)

25 Years of Model Checking: History, Achievements, Perspectives (Lecture Notes in Computer Science, 5000)

by Orna Grumberg, Helmut Veith
ISBN-13: 9783540698494
ISBN-10: 3540698493
Edition: 2008
Publisher: Springer
Format: Paperback 241 pages
Sell Buy from $37.62 eBook from $10.50
cookies

We use cookies to ensure website functionality: improve our services, personalize your experience, analyze performance and traffic, and process orders efficiently. To learn more, check our Privacy Policy.