edited by Davide Sangiorgi, Jan Rutten

Cambridge University Press 2012 Cambridge tracts in theoretical computer science 52

: Hardback

所蔵館14館

Davide Sangiorgi

Cambridge University Press 2012

: hardback

所蔵館17館

Rocco De Nicola, Davide Sangiorgi (eds.)

Springer c2005 Lecture notes in computer science 3705

所蔵館7館

Davide Sangiorgi, David Walker

Cambridge University Press 2003, c2001

: pbk

所蔵館8館

Davide Sangiorgi, David Walker

Cambridge University Press 2001

: hard , pbk

所蔵館28館

Davide Sangiorgi, Robert de Simone (eds.)

Springer c1998 Lecture notes in computer science 1466

所蔵館44館

Davide Sangiorgi

University of Edinburgh, Department of Computer Science 1993

所蔵館1館