Explore Books on
formal methods

1-3 of 3 Books

Cover of The Seventeen Provers of the World by freek wiedijk

The Seventeen Provers of the World

By Freek Wiedijk

Cover of Verification, Model Checking, and Abstract Interpretation by kedar s. namjoshi,andreas podelski

Verification, Model Checking, and Abstract Interpretation

By Kedar S. Namjoshi,Andreas Podelski

Cover of Delay Insensitive Circuits by dennis furey

Delay Insensitive Circuits

By Dennis Furey