著者典拠情報

著者標目形：
Bidoit, M. (Michel), 1957-
属性：
Personal
日付：
1957-
から見よ参照形：
Bidoit, Michel, 1957-
注記：
Algebraic system specification and development, c1991: CIP t.p. (M. Benoit) galley (Michel Bidoit, CNRS and Ecole Normale Supérieure, Paris) data sheet (b. 8-30-57)
著者典拠ID：
DA05578201


1.

図書
図書
1. 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
所蔵情報: 図書館
2.

図書
図書
2. Algebraic system specification and development : a survey and annotated bibliography (: Berlin ; : New York)
M. Bidoit ... [et al.], (eds.)
出版情報: Berlin ; Tokyo : Springer-Verlag, c1991
シリーズ名: Lecture notes in computer science ; 501
所蔵情報: 図書館