著者典拠情報

著者標目形：
Choppy, C. (Christine)
属性：
Personal
から見よ参照形：
Choppy, Christine
注記：
Workshop on Specification of Abstract Data Types (8th : 1991 : Dourdan, France). Recent trends in data type specification, c1992: CIP t.p. (C. Choppy) t.p. verso (Christine Choppy; Univ. of Paris-Sud, Orsay Cedex, France)
著者典拠ID：
DA07114609


1.

図書
図書
1. Recent trends in algebraic development techniques : 14th International Workshop, WADT'99, Château de Bonas, September 15-18, 1999 : selected papers
Didier Bert, Christine Choppy, Peter Mosses (eds.)
出版情報: Berlin : Springer, c2000
シリーズ名: Lecture notes in computer science ; 1827
所蔵情報: 図書館
2.

図書
図書
2. Recent trends in data type specification : 8th Workshop on Specification of Abstract Data Types joint with the 3rd COMPASS Workshop, Dourdan, France, August 26-30, 1991 : selected papers (: gw ; : us)
M. Bidoit, C. Choppy (eds.)
出版情報: Berlin ; Tokyo : Springer-Verlag, c1993
シリーズ名: Lecture notes in computer science ; 655
所蔵情報: 図書館