edited by Davide Sangiorgi, Jan Rutten

Cambridge University Press 2012 Cambridge tracts in theoretical computer science 52

: Hardback

Available at 14 libraries

Davide Sangiorgi

Cambridge University Press 2012

: hardback

Available at 17 libraries

Rocco De Nicola, Davide Sangiorgi (eds.)

Springer c2005 Lecture notes in computer science 3705

Available at 7 libraries

Davide Sangiorgi, David Walker

Cambridge University Press 2003, c2001

: pbk

Available at 8 libraries

Davide Sangiorgi, David Walker

Cambridge University Press 2001

: hard , pbk

Available at 28 libraries

Davide Sangiorgi, Robert de Simone (eds.)

Springer c1998 Lecture notes in computer science 1466

Available at 44 libraries

Davide Sangiorgi

University of Edinburgh, Department of Computer Science 1993

Available at 1 libraries