Orna Grumberg

. Orna Grumberg is Professor of Computer Science at Technion, Israel Institute of Technology.

Books

Model Checking, 2e by Jr., Grumberg, Kroening, Peled, Veith 9780262038836

Details Purchase

Please review our browser version requirements below:

Browser	Version
Chrome (Recommended)	Latest
Firefox	Latest
Edge	Latest
Safari	Latest

For the best experience, please upgrade to the latest version of your browser. We suggest using Google Chrome. Cookies must be enabled in your browser while using our system.

Orna Grumberg

The MIT Press

Catalog

Orna Grumberg

The MIT Press

Catalog

Video Title

Common Access Code Issues

Common Payment Issues