Here, what we could find on your book search:

Vincenzo Arceri

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

Static Analysis

Static Analysis

Gagandeep Singh and Caterina Urban

Check Price (2 deals)
Principles of Abstract Interpretation

Principles of Abstract Interpretation

Patrick Cousot

Check Price (3 deals)
Static Analysis

Static Analysis

Manuel V. Hermenegildo and José F. Morales

Check Price (5 deals)
Formal Methods. FM 2019 International Workshops

Formal Methods. FM 2019 International Workshops

Emil Sekerinski, Nelma Moreira, José N. Oliveira, Daniel Ratiu, Riccardo Guidotti, Marie Farrell, Matt Luckcuck, Diego Marmsoler, José Campos, Troy Astarte, Laure Gonnord, Antonio Cerone, Luis Couto, Brijesh Dongol, Martin Kutrib, Pedro Monteiro and David Delmas

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

Verification, Model Checking, and Abstract Interpretation

Bernd Finkbeiner and Thomas Wies

Check Price (8 deals)
Formal Methods Teaching

Formal Methods Teaching

Emil Sekerinski and Leila Ribeiro

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

Verification, Model Checking, and Abstract Interpretation

Fritz Henglein, Sharon Shoham and Yakir Vizel

Check Price (1 deals)
Italians to America, March 1904 - May 1904

Italians to America, March 1904 - May 1904

Ira A. Glazier

Check Price (1 deals)
Challenges of Software Verification

Challenges of Software Verification

Vincenzo Arceri, Agostino Cortesi, Pietro Ferrara and Martina Olliaro

Check Price (5 deals)

BOOKS. STORIES. TALK SHOWS. LIFE LESSONS.

Try Amazon Audible today for FREE. Cancel anytime

Start for free now