著者典拠情報

標目形：
Sannella, Donald, 1956-
属性：
Personal
日付：
1956-
から見よ参照形：
Sannella, D.
注記：
Recent trends in data type specification, c1988: t.p.(D. Sannella)
著者典拠ID：
DA02770417


 close
1.

図書
図書
1. Automata, languages and programming : 31st International Colloquium, ICALP 2004, Turku, Finland, July 12-16, 2004 : proceedings
Josep Díaz ... [et al.] (eds.)
出版情報: Berlin ; Tokyo : Springer, c2004
シリーズ名: Lecture notes in computer science ; 3142
所蔵情報: loading…
2.

図書
図書
2. Programming languages and systems, ESOP '94 : 5th European Symposium on Programming, Edinburgh, U.K., April 11-13, 1994 : proceedings (: us ; : gw)
Donald Sannella, ed
出版情報: Berlin ; New York : Springer-Verlag, c1994
シリーズ名: Lecture notes in computer science ; 788
所蔵情報: loading…
3.

図書
図書
3. Deduction : automated logic
by Wolfgang Bibel ; with the assistance of Steffen Hölldobler and exercises by Gerd Neugebauer ; translated by Monika Lekuse with the assistance of Donald Sannella
出版情報: London ; Tokyo : Academic Press, c1993
所蔵情報: loading…
4.

図書
図書
4. Recent trends in data type specification : 5th Workshop on Specification of Abstract Data Types, Gullane, Scotland, September 1-4, 1987 : selected papers (: gw ; : us)
D. Sannella, A. Tarlecki (eds.)
出版情報: Berlin ; Tokyo : Springer-Verlag, c1988
シリーズ名: Lecture notes in computer science ; 332
所蔵情報: loading…