Here, what we could find on your book search:

Catuscia Palamidessi

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

The Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy

The Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy

Mário S. Alvim, Kostas Chatzikokolakis, Carlos Olarte and Frank Valencia

Check Price (1 deals)
Foundations of Information Technology in the Era of Network and Mobile Computing

Foundations of Information Technology in the Era of Network and Mobile Computing

Ricardo Baeza-Yates, Ugo Montanari and Nicola Santoro

Check Price (6 deals)
CONCUR 2005 - Concurrency Theory

CONCUR 2005 - Concurrency Theory

Martín Abadi and Luca de Alfaro

Check Price (3 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 (1 deals)
Formal Techniques for Networked and Distributed Systems - FORTE 2006

Formal Techniques for Networked and Distributed Systems - FORTE 2006

Elie Najm, Jean-Francois Pradat-Peyre and Véronique Viguié Donzeau-Gouge

Check Price (4 deals)
CONCUR '96: Concurrency Theory

CONCUR '96: Concurrency Theory

Ugo Montanari and Vladimiro Sassone

Check Price (10 deals)
Trustworthy Global Computing

Trustworthy Global Computing

Rocco De Nicola

Check Price (6 deals)
Algebraic Methodology and Software Technology

Algebraic Methodology and Software Technology

V.S. Alagar and Maurice Nivat

Check Price (3 deals)

BOOKS. STORIES. TALK SHOWS. LIFE LESSONS.

Try Amazon Audible today for FREE. Cancel anytime

Start for free now