Cărți de Davide Sangiorgi

The Pi-Calculus: A Theory of Mobile Processes

Autor Davide Sangiorgi et al.

15 oct 2003

Preț: 462^.80 lei 578^.50 lei

43-57 zile

-20%

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

Lecture Notes in Computer Science, nr. 8705

Editat de Josep Diaz et al.

aug 2014

Preț: 329^.44 lei 411^.80 lei

43-57 zile

-20%

Introduction to Bisimulation and Coinduction

Autor Davide Sangiorgi

12 oct 2011

Preț: 624^.34 lei 780^.42 lei

43-57 zile

-20%

Advanced Topics in Bisimulation and Coinduction

Cambridge Tracts in Theoretical Computer Science, nr. 52

Editat de Davide Sangiorgi et al.

12 oct 2011

Preț: 762^.87 lei 953^.58 lei

43-57 zile

-20%

Trustworthy Global Computing: International Symposium, TGC 2005, Edinburgh, UK, April 7-9, 2005. Revised Selected Papers

Lecture Notes in Computer Science, nr. 3705

Editat de Rocco De Nicola et al.

13 dec 2005

Preț: 331^.22 lei 414^.03 lei

43-57 zile

-20%

CONCUR '98 Concurrency Theory: 9th International Conference, Nice, France, September 8-11, 1998, Proceedings

Lecture Notes in Computer Science, nr. 1466

Editat de Davide Sangiorgi et al.

19 aug 1998

Preț: 650^.69 lei 813^.35 lei

43-57 zile

-20%