著者典拠情報

著者標目形：
Bert, Didier
属性：
Personal
注記：
nuc90-29397: Author's LPG, 1987 (hdg. on CaQMM rept.: Bert, Didier; usage: Didier Bert)
SRC:B'98 : recent advances in the development and use of the B method : second International B Conference, Montpellier, France, April 22-24, 1998, proceedings, 1998: t.p. (Didier Bert (ed.))
著者典拠ID：
DA11417954


1.

図書
図書
1. ZB 2003 : Formal Specification and Development in Z and B : 3rd International Conference of B and Z Users, Turku, Finland, June 4-6, 2003 : proceedings
Didier Bert ... [et al.] (eds.)
出版情報: Berlin : Springer, c2003
シリーズ名: Lecture notes in computer science ; 2651
所蔵情報: 図書館
2.

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