Luca Cardelli, William Shih (eds.)

Springer c2011 Lecture notes in computer science 6937

所蔵館2館

Luca Cardelli (ed.)

Springer c2003 Lecture notes in computer science 2743

所蔵館27館

Henri E. Bal, Boumediene Belkhouche, Luca Cardelli (eds.)

Springer c1999 Lecture notes in computer science 1686

所蔵館33館

Martín Abadi, Luca Cardelli

Springer c1996 Monographs in computer science

所蔵館35館

by Luca Cardelli

University of Edinburgh, Department of Computer Science 1982

所蔵館1館