Torben Æ. Mogensen, David A. Schmidt, I. Hal Sudborough (eds.)

Springer c2002 Lecture notes in computer science 2566

所蔵館23館

Radhia Cousot, David A. Schmidt (eds.)

Springer c1996 Lecture notes in computer science 1145

所蔵館48館

David A. Schmidt

MIT Press c1994 MIT Press series in the foundations of computing

所蔵館40館

David A. Schmidt

Allyn and Bacon , Wm. C. Brown c1986 , c1988

所蔵館8館