Daniel Kroening

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
Decision Procedures: An Algorithmic Point of View by Daniel Kroening

Decision Procedures: An Algorithmic Point of View

Daniel Kroening

304 pages • first pub 2008 (editions)

computer science mathematics informative reflective medium-paced