Edmund M. Clarke

2 books

Model Checking, Second Edition by Daniel Kroening, Orna Grumberg, Edmund M. Clarke

Model Checking, Second Edition

Cyber Physical Systems

Daniel Kroening, Orna Grumberg, Edmund M. Clarke

424 pages • missing pub info (editions)

nonfiction computer science science informative medium-paced
Model Checking by Edmund M. Clarke

Model Checking

Edmund M. Clarke

314 pages • first pub 1999 (editions)

nonfiction science challenging informative slow-paced