Jump to main content

yr 〜
yr

Search results 6

ZB 2003: formal specification and development in Z and B : third international conference of B and Z users : Turku, Finland, June 4-6, 2003 : proceedings. : Jun 2003, Turku, Finland. (Lecture Notes in Computer Science ; 2651)

ZB 2003: formal specification and development in Z and B : third international conference of B and Z users : Turku, Finland, June 4-6, 2003 : proceedings. : Jun 2003, Turku, Finland. (Lecture Notes in Computer Science ; 2651)
Paper図書
Springerc2003.<M17-04-549>
National Diet Library
  • Author HeadingBert, Didier. International Conference of ...

ZB 2002: formal specification and development in Z and B : 2nd international conference of B and Z users : Grenoble, France, January 23-25, 2002 : proceedings. : 13th international Z user meeting : 4th international conference on the B method : Jan 2002, Grenoble, France. (Lecture Notes in Computer Science ; 2272)

ZB 2002: formal specification and development in Z and B : 2nd international conference of B and Z users : Grenoble, France, January 23-25, 2002 : proceedings. : 13th international Z user meeting : 4th international conference on the B method : Jan 2002, Grenoble, France. (Lecture Notes in Computer Science ; 2272)
Paper図書
Springerc2002.<M17-07-787>
National Diet Library
  • Author HeadingBert, Didier. International Conference of ...

ZB 2003 : formal specification and development in Z and B : third International Conference of B and Z Users, Turku, Finland, June 4-6, 2003 : proceedings

ZB 2003 : formal specification and development in Z and B : third International Conference of B and Z Users, Turku, Finland, June 4-6, 2003 : proceedings
Paper図書
Didier Bert ... [et al.] (eds.)Springerc2003
Other Libraries in Japan
  • Author Heading... B and Z Users Bert, Didier Bowen, J. P. (Jonathan Peter)...

ZB 2002 : Formal Specification and Development in Z and B : 2nd International Conference of B and Z Users, Grenoble, France, January 23-25, 2002 : proceedings

ZB 2002 : Formal Specification and Development in Z and B : 2nd International Conference of B and Z Users, Grenoble, France, January 23-25, 2002 : proceedings
Paper図書
Didier Bert ... [et al.] (eds.)Springerc2002
Other Libraries in Japan
  • Author Heading... B and Z Users Bert, Didier Bowen, J. P. (Jonathan Peter)...

Recent trends in algebraic development techniques : 14th International Workshop, WADT'99, Château de Bonas, September 15-18, 1999 : selected papers

Recent trends in algebraic development techniques : 14th International Workshop, WADT'99, Château de Bonas, September 15-18, 1999 : selected papers
Paper図書
Didier Bert, Christine Choppy, Peter Mosses (eds.)Springerc2000
Other Libraries in Japan
  • Author HeadingWADT Bert, Didier Choppy, C. (Christine) Mosses...

B'98 : recent advances in the development and use of the B method : second International B Conference, Montpellier, France, April 22-24, 1998, proceedings

B'98 : recent advances in the development and use of the B method : second International B Conference, Montpellier, France, April 22-24, 1998, proceedings
Paper図書
Didier Bert (ed.)Springerc1998
Other Libraries in Japan
  • Author HeadingInternational B Conference Bert, Didier

Reached to the end of result.

RSS