Hoppa till sidans huvudinnehåll

Davide Sangiorgi - Böcker

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

The Pi-Calculus

A Theory of Mobile Processes

AvDavide Sangiorgi,David Walker,Rocquencourt) Sangiorgi, Davide (Institut National de Recherche en Informatique et en Automatique (INRIA),David (University of Oxford) Walker

Häftad, Engelska, 2003

1 099 kr

Skickas inom 7-10 vardagar

Introduction to Bisimulation and Coinduction

AvDavide Sangiorgi

Inbunden, Engelska, 2011

1 419 kr

Skickas inom 7-10 vardagar

Del 52 - Cambridge Tracts in Theoretical Computer Science

Advanced Topics in Bisimulation and Coinduction

AvDavide Sangiorgi,Jan Rutten

Inbunden, Engelska, 2011

1 949 kr

Skickas inom 7-10 vardagar

Trustworthy Global Computing

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

AvRocco De Nicola,Davide Sangiorgi,Rocco de Nicola

Häftad, Engelska, 2005

709 kr

Skickas inom 10-15 vardagar

CONCUR '98 Concurrency Theory

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

AvDavide Sangiorgi,Robert de Simone,Robert De Simone

Häftad, Engelska, 1998

1 409 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

AvJosep Diaz,Ivan Lanese,Davide Sangiorgi

Häftad, Engelska, 2014

689 kr

Skickas inom 10-15 vardagar