Edmund M. Clarke Jr.

Edmund M. Clark, Jr., is Professor of Computer Science at Carnegie Mellon 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.

Edmund M. Clarke Jr.

The MIT Press

Catalog

Edmund M. Clarke Jr.

The MIT Press

Catalog

Video Title

Common Access Code Issues

Common Payment Issues