Here, what we could find on your book search:

Hana Chockler

If you are not able to find that specific book from the book comparison result below, try to refine your search keyword. Like, search for Book title and author together. For best results type in the books ISBN (ISBN 10 or ISBN 13).

Hardware and Software: Verification and Testing

Hardware and Software: Verification and Testing

Sharon Barner, Ian Harris, Daniel Kroening and Orna Raz

Check Price (5 deals)
Leveraging Applications of Formal Methods, Verification and Validation: Tools and Trends

Leveraging Applications of Formal Methods, Verification and Validation: Tools and Trends

Tiziana Margaria and Bernhard Steffen

Check Price (7 deals)
ECAI 2020

ECAI 2020

Giuseppe De Giacomo, Bistra Dilkina, Michela Milano, Senén Barro, Alberto Bugarín and Jérôme Lang

Check Price (2 deals)
PROCEEDINGS OF THE 22ND CONFERENCE ON FORMAL METHODS IN COMPUTER-AIDED DESIGN – FMCAD 2022

PROCEEDINGS OF THE 22ND CONFERENCE ON FORMAL METHODS IN COMPUTER-AIDED DESIGN – FMCAD 2022

Alberto Griggio, Neha Rungta, Georg Weissenbacher and Warren A. Hunt, Jr.

Check Price (2 deals)
Verification, Model Checking, and Abstract Interpretation

Verification, Model Checking, and Abstract Interpretation

Radhia Cousot

Check Price (3 deals)

BOOKS. STORIES. TALK SHOWS. LIFE LESSONS.

Try Amazon Audible today for FREE. Cancel anytime

Start for free now