Roberto Amadio (ed.)

Springer c2008 Lecture notes in computer science 4962

所蔵館2館

Roberto Amadio, Denis Lugiez (eds.)

Springer c2003 Lecture notes in computer science 2761

所蔵館25館

Roberto M. Amadio, Pierre-Louis Curien

Cambridge University Press 1998 Cambridge tracts in theoretical computer science 46

: hardback , : pbk

所蔵館43館