Jump to main content

yr 〜
yr

Search results 7

B 2007: formal specification and development in B : 7th International Conference of B Users, Besançon, France, January 17-19, 2007 proceedings

B 2007: formal specification and development in B : 7th International Conference of B Users, Besançon, France, January 17-19, 2007 proceedings
Paper図書
Jacques Julliand, Olga Kouchnarenko (eds.)Springer2006
Other Libraries in Japan
  • Author HeadingJulliand, Jacques Kouchnarenko, Olga International Conference of B and Z Users

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
  • Alternative Title... Z and B : 3rd international conference of B and Z users : Turku, Finland, June 4-6, 2...
  • Alternative Title... Z and B : 3rd international conference of B and Z users : Turku, Finland, June 4-6, 2...
  • Author HeadingBert, Didier. International Conference of B and Z Users (3rd : 2003 : Turku, Finland)

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 B and Z Users (2nd : 2002 : Grenoble, Franc...

ZB 2005 : formal specification and development in Z and B : 4th International Conference of B and Z Users, Guildford, UK, April 13-15, 2005 : proceedings

ZB 2005 : formal specification and development in Z and B : 4th International Conference of B and Z Users, Guildford, UK, April 13-15, 2005 : proceedings
Paper図書
Helen Treharne ... [et al.] (eds.)Springerc2005
Other Libraries in Japan
  • Author HeadingInternational Conference of B and Z Users Treharne, Helen King, Steve H...

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 HeadingInternational Conference of B and Z Users Bert, Didier Bowen, J. P. (Jo...

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 HeadingInternational Conference of B and Z Users Bert, Didier Bowen, J. P. (Jo...

ZB 2000 : formal specification and development in Z and B : first International Conference of B and Z Users, York, UK, August 29-September 2, 2000 : proceedings

ZB 2000 : formal specification and development in Z and B : first International Conference of B and Z Users, York, UK, August 29-September 2, 2000 : proceedings
Paper図書
Jonathan P. Bowen ... [et al.] (eds.)Springerc2000
Other Libraries in Japan
  • Author HeadingInternational Conference of B and Z Users Bowen, J. P. (Jonathan Peter)

Reached to the end of result.

RSS