Doron Peled

Doron Peled is Professor of Computer Science at Bar-Ilan University.

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.

Doron Peled

The MIT Press

Catalog

Doron Peled

The MIT Press

Catalog

Video Title

Common Access Code Issues

Common Payment Issues