Jump to main content

yr 〜
yr

Search results 9

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
  • Subject HeadingB (Computer program language) -- Congresses. Z (Computer pr...

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
  • Subject HeadingB (Computer program language) -- Congresses. Z (Computer pr...

Program development by refinement : case studies using the B method : pbk

Program development by refinement : case studies using the B method : pbk
Paper図書
E. Sekerinski and K. Sere (eds.)Springer-Verlagc1999
Other Libraries in Japan
  • Subject HeadingB (Computer program language)
  • Subject Heading (ID)B (Computer program language)

The B language and method : a guide to practical formal development

The B language and method : a guide to practical formal development
Paper図書
K. LanoSpringerc1996
Other Libraries in Japan
  • Subject HeadingB (Computer program language) Computer software -- Developm...
  • Subject Heading (ID)B (Computer program language) Computer software -- Developm...

The B-book : assigning programs to meanings : pbk.

The B-book : assigning programs to meanings : pbk.
Paper図書
J.-R. AbrialCambridge University Press1996
Other Libraries in Japan
  • Subject HeadingB (Computer program language) Computer software -- Developm...
  • Subject Heading (ID)B (Computer program language) Computer software -- Developm...

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
  • Subject HeadingB (Computer program language) -- Congresses Z (Computer pro...
  • Subject Heading (ID)B (Computer program language) -- Congresses Z (Computer pro...

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
  • Subject HeadingB (Computer program language) -- Congresses Z (Computer pro...
  • Subject Heading (ID)B (Computer program language) -- Congresses Z (Computer pro...

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
  • Subject HeadingB (Computer program language) -- Congresses Z (Computer pro...
  • Subject Heading (ID)B (Computer program language) -- Congresses Z (Computer pro...

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
  • Subject HeadingB (Computer program language) -- Congresses Z (Computer pro...
  • Subject Heading (ID)B (Computer program language) -- Congresses Z (Computer pro...

Reached to the end of result.

RSS