本文に飛ぶ

年 〜
年

検索結果 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
紙図書
Jacques Julliand, Olga Kouchnarenko (eds.)Springer2006
全国の図書館
  • 著者標目Julliand, 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)
紙図書
Springerc2003.<M17-04-549>
国立国会図書館
  • 並列タイトル等（連結）... Z and B : 3rd international conference of B and Z users : Turku, Finland, June 4-6, 2...
  • 並列タイトル等... Z and B : 3rd international conference of B and Z users : Turku, Finland, June 4-6, 2...
  • 著者標目Bert, 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)
紙図書
Springerc2002.<M17-07-787>
国立国会図書館
  • 著者標目Bert, 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
紙図書
Helen Treharne ... [et al.] (eds.)Springerc2005
全国の図書館
  • 著者標目International 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
紙図書
Didier Bert ... [et al.] (eds.)Springerc2003
全国の図書館
  • 著者標目International 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
紙図書
Didier Bert ... [et al.] (eds.)Springerc2002
全国の図書館
  • 著者標目International 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
紙図書
Jonathan P. Bowen ... [et al.] (eds.)Springerc2000
全国の図書館
  • 著者標目International Conference of B and Z Users Bowen, J. P. (Jonathan Peter)

検索結果は以上です。

RSS