Here, what we could find on your book search:

Davide Sangiorgi

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

Introduction to Bisimulation and Coinduction

Introduction to Bisimulation and Coinduction

Davide Sangiorgi

Check Price (4 deals)
Modeling and Verification of Parallel Processes

Modeling and Verification of Parallel Processes

Franck Cassez, Claude Jard, Brigitte Rozoy and Mark D. Ryan

Check Price (1 deals)
Computational Logic

Computational Logic

Dov M. Gabbay, Jörg H. Siekmann and John Woods

Check Price (7 deals)
Advanced Topics in Bisimulation and Coinduction

Advanced Topics in Bisimulation and Coinduction

Davide Sangiorgi and Jan Rutten

Check Price (2 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)
Theoretical Computer Science

Theoretical Computer Science

Josep Diaz, Ivan Lanese and Davide Sangiorgi

Check Price (3 deals)
Formal Techniques for Networked and Distributed Systems - FORTE 2005

Formal Techniques for Networked and Distributed Systems - FORTE 2005

Farn Wang

Check Price (5 deals)
CONCUR '98 Concurrency Theory

CONCUR '98 Concurrency Theory

Davide Sangiorgi and Robert de Simone

Check Price (4 deals)

BOOKS THAT SPEAKS TO YOU

Try Amazon Audible today for FREE. Cancel anytime

First Audiobook Free