Here, what we could find on your book search:

Constantin Enea

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).

Computer Aided Verification

Computer Aided Verification

Isil Dillig and Serdar Tasiran

Check Price (6 deals)
Formal Aspects in Security and Trust

Formal Aspects in Security and Trust

Theo Dimitrakos, Fabio Martinelli, Peter Y.A. Ryan and Steve Schneider

Check Price (9 deals)
Automated Technology for Verification and Analysis

Automated Technology for Verification and Analysis

Ahmed Bouajjani, Lukáš Holík and Zhilin Wu

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

Verification, Model Checking, and Abstract Interpretation

Viktor Kuncak and Andrey Rybalchenko

Check Price (7 deals)
Foundations of Software Science and Computation Structures

Foundations of Software Science and Computation Structures

Orna Kupferman and Pawel Sobocinski

Check Price (3 deals)

BOOKS. STORIES. TALK SHOWS. LIFE LESSONS.

Try Amazon Audible today for FREE. Cancel anytime

Start for free now