Yazar
Davide Sangiorgi
11 cilt bulundu.
Davide Sangiorgi · Cambridge University Press
Sayfa sayısı yok · 2011
COMPUTERS / Networking / General / Computer science / Bisimulation / Modality (Logic) / Coinduction (Mathematics)
![The [pi]-calculus](https://covers.openlibrary.org/b/id/8706815-L.jpg)
Davide Sangiorgi · Cambridge University Press
580 sayfa · 2001
Mobile communication systems / Mobile computing / Pi-calculus
Rocco De Nicola, Davide Sangiorgi · Springer
371 sayfa · 2005
Congresses / Verification / Computer security / Computer networks / Validation
Davide Sangiorgi, Gerhard Goos, Juris Hartmanis · Springer
655 sayfa · 1998
Computers, congresses / Parallel processing (Electronic computers) / Congresses / Parallélisme (informatique)
Davide Sangiorgi · Cambridge University Press
340 sayfa · 2011
COMPUTERS / Networking / General / Computer science / Bisimulation / Modality (Logic) / Coinduction (Mathematics)
Davide Sangiorgi · LFCS, Dept. of Computer Science, University of Edinburgh
34 sayfa · 1993
Lambda calculus
Davide Sangiorgi · LFCS, Dept. of Computer Science, University of Edinburgh
54 sayfa · 1994
Calculus / Pi
Josep Diaz, Ivan Lanese, Davide Sangiorgi · Springer Berlin / Heidelberg
355 sayfa · 2014
Machine theory / Robots / Formal languages / Computer science / Computer software
Davide Sangiorgi, David Walker - undifferentiated · University of Cambridge ESOL Examinations
Sayfa sayısı yok
Computer science, mathematics