Hoppa till sidans huvudinnehåll

Davide Sangiorgi - Böcker

Visar alla böcker från författaren Davide Sangiorgi.
7 produkter

The Pi-Calculus

A Theory of Mobile Processes

Av Davide Sangiorgi, David Walker m. fl

Häftad, Engelska, 2003

1 129 kr

Skickas inom 10-15 vardagar

Introduction to Bisimulation and Coinduction

Av Davide Sangiorgi

Inbunden, Engelska, 2011

1 469 kr

Skickas inom 10-15 vardagar
Del 52 - Cambridge Tracts in Theoretical Computer Science

Advanced Topics in Bisimulation and Coinduction

Av Davide Sangiorgi, Jan Rutten

Inbunden, Engelska, 2011

2 009 kr

Skickas inom 10-15 vardagar

Trustworthy Global Computing

International Symposium, TGC 2005, Edinburgh, UK, April 7-9, 2005. Revised Selected Papers

Av Rocco De Nicola, Davide Sangiorgi

Häftad, Engelska, 2005

729 kr

Skickas inom 10-15 vardagar

CONCUR '98 Concurrency Theory

9th International Conference, Nice, France, September 8-11, 1998, Proceedings

Av Davide Sangiorgi, Robert de Simone m. fl

Häftad, Engelska, 1998

1 459 kr

Skickas inom 10-15 vardagar

Theoretical Computer Science

8th IFIP TC 1/WG 2.2 International Conference, TCS 2014, Rome, Italy, September 1-3, 2014. Proceedings

Av Josep Diaz, Ivan Lanese m. fl

Häftad, Engelska, 2014

709 kr

Skickas inom 10-15 vardagar

The Pi-Calculus

A Theory of Mobile Processes

Av Davide Sangiorgi, David Walker

Inbunden, Engelska, 2001

1 139 kr

Slutsåld