Here, what we could find on your book search:

Arie Gurfinkel

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

Formal Methods in Computer-Aided Design

Formal Methods in Computer-Aided Design

Alan J. Hu and Andrew K. Martin

Check Price (3 deals)
Automata, Languages and Programming

Automata, Languages and Programming

Josep Diaz, Juhani Karhumäki, Arto Lepistö and Donald Sannella

Check Price (8 deals)
Engineering Secure and Dependable Software Systems

Engineering Secure and Dependable Software Systems

Alexander Pretschner and Peter Müller

Check Price (1 deals)
PROCEEDINGS OF THE 21ST CONFERENCE ON FORMAL METHODS IN COMPUTER-AIDED DESIGN – FMCAD 2021

PROCEEDINGS OF THE 21ST CONFERENCE ON FORMAL METHODS IN COMPUTER-AIDED DESIGN – FMCAD 2021

Michael W. Whalen and Ruzica Piskac

Check Price (3 deals)
Verification of Infinite-State Systems with Applications to Security

Verification of Infinite-State Systems with Applications to Security

E. Clarke, M. Minea and F.L. Ţiplea

Check Price (2 deals)
CONCUR 2003 - Concurrency Theory

CONCUR 2003 - Concurrency Theory

Roberto Amadio and Denis Lugiez

Check Price (3 deals)
Fundamental Approaches to Software Engineering

Fundamental Approaches to Software Engineering

Maura Cerioli

Check Price (10 deals)

BOOKS THAT SPEAKS TO YOU

Try Amazon Audible today for FREE. Cancel anytime

First Audiobook Free