著者典拠情報

標目形：
Tarlecki, Andrzej, 1956-
属性：
Personal
日付：
1956-
から見よ参照形：
Tarlecki, A. (Andrzej)
注記：
His Algebras for some input/output semantics, 1980: t.p. (Andrzej Tarlecki)
Workshop on Specification of Abstract Data Types (5th : 1987 : Gullane, Scotland). Recent trends in data type specification, 1987: CIP t.p. (A. Tarlecki) data sheet (b. 10/5/56)
著者典拠ID：
DA02770450


 close
1.

図書
図書
1. Automata, languages and programming : 34th International Colloquium, ICALP 2007, Wrocław, Poland, July 9-13, 2007 : proceedings
Lars Arge ... [et al.] (eds.)
出版情報: Berlin : Springer, c2007
シリーズ名: Lecture notes in computer science ; 4596
所蔵情報: loading…
2.

図書
図書
2. Recent trends in data type specification : 10th Workshop on Specification of Abstract Data Types, joint with the 5th COMPASS Workshop, S. Margherita, Italy, May 30-June 3, 1994 : selected papers (: Berlin ; : New York)
Egidio Astesiano, Gianna Reggio, Andrzej Tarlecki (eds.)
出版情報: Berlin ; New York : Springer-Verlag, c1995
シリーズ名: Lecture notes in computer science ; 906
所蔵情報: loading…
3.

図書
図書
3. Mathematical foundations of computer science, 1991 : 16th international symposium, Kazimierz Dolny, Poland, September 9-13, 1991 : proceedings (: gw ; : us)
A. Tarlecki (ed.)
出版情報: Berlin ; New York : Springer-Verlag, c1991
シリーズ名: Lecture notes in computer science ; 520
所蔵情報: 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…