Jump to main content

yr 〜
yr

Search results 13

Abstract state machines, alloy, B and Z : second international conference, ABZ 2010 : Orford, QC, Canada, February 22-25, 2010 : proceedings. : tutorials on alloy and BART (B automatic refinement tool) : workshop on tool building in formal methods (WTBFM 2010) : Feb 2010, Orford, Canada. (Lecture Notes in Computer Science ; 5977)

Abstract state machines, alloy, B and Z : second international conference, ABZ 2010 : Orford, QC, Canada, February 22-25, 2010 : proceedings. : tutorials on alloy and BART (B automatic refinement tool) : workshop on tool building in formal methods (WTBFM 2010) : Feb 2010, Orford, Canada. (Lecture Notes in Computer Science ; 5977)
Paper図書
Springerc2010.<M17-10-2833>
National Diet Library
  • Subject Heading...-- Congresses. Z (Computer program language) -- Congresses.

Abstract state machines, B and Z : first international conference, ABZ 2008 : London, UK, September 16-18, 2008 : proceedings. : tutorials on the ASM and B simulator tools CoreAsm and Pro-B : UK EPSRC-funded verified software repository network (VSR-net) workshop : ABZ2008 conference : Sep 2008, London, UK. (Lecture Notes in Computer Science ; 5238)

Abstract state machines, B and Z : first international conference, ABZ 2008 : London, UK, September 16-18, 2008 : proceedings. : tutorials on the ASM and B simulator tools CoreAsm and Pro-B : UK EPSRC-funded verified software repository network (VSR-net) workshop : ABZ2008 conference : Sep 2008, London, UK. (Lecture Notes in Computer Science ; 5238)
Paper図書
Springerc2008.<M17-09-924>
National Diet Library
  • Subject Heading...-- Congresses. Z (Computer program language) -- Congresses.

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 program language) -- Congresses.

ZUM '95, the Z formal specification notation : 9th International Conference of Z Users, Limerick, Ireland, September 7-9, 1995 : proceedings / Jonathan P. Bowen, Michael G. Hinchey, eds. (Lecture notes in computer science)

ZUM '95, the Z formal specification notation : 9th International Conference of Z Users, Limerick, Ireland, September 7-9, 1995 : proceedings / Jonathan P. Bowen, Michael G. Hinchey, eds. (Lecture notes in computer science)
Paper図書
Springerc1995.<M15-A9805>
National Diet Library
  • Subject HeadingZ (Computer program language) -- Congresses.

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 Heading...-- Congresses. Z (Computer program language) -- Congresses. B (Langage de programmation)...

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

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

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

ZUM '98 : the Z formal specification notation : 11th International Conference of Z Users, Berlin, Germany, September 24-26, 1998 : proceedings

ZUM '98 : the Z formal specification notation : 11th International Conference of Z Users, Berlin, Germany, September 24-26, 1998 : proceedings
Paper図書
Jonathan P. Bowen, Andreas Fett, Michael G. Hinchey (eds.)Springerc1998
Other Libraries in Japan
  • Subject HeadingZ (Computer program language) -- Congresses
  • Subject Heading (ID)Z (Computer program language) -- Congresses

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

ZUM '97 : the Z formal specification notation : 10th International Conference of Z Users, Reading, UK, April 3-4, 1997 : proceedings

ZUM '97 : the Z formal specification notation : 10th International Conference of Z Users, Reading, UK, April 3-4, 1997 : proceedings
Paper図書
Jonathan P. Bowen, Michael G. Hinchey, David Till (eds.)Springerc1997
Other Libraries in Japan
  • Subject HeadingZ (Computer program language) -- Congresses
  • Subject Heading (ID)Z (Computer program language) -- Congresses

ZUM '95 : the Z formal specification notation : 9th International Conference of Z Users, Limerick, Ireland, September 7-9, 1995 : proceedings

ZUM '95 : the Z formal specification notation : 9th International Conference of Z Users, Limerick, Ireland, September 7-9, 1995 : proceedings
Paper図書
Jonathan P. Bowen, Michael G. Hinchey (eds.)Springerc1995
Other Libraries in Japan
  • Subject HeadingZ (Computer program language) -- Congresses
  • Subject Heading (ID)Z (Computer program language) -- Congresses

Z User Workshop : proceedings of the fourth annual Z User Meeting, Oxford, 15 December 1989 : u.s. : germany

Z User Workshop : proceedings of the fourth annual Z User Meeting, Oxford, 15 December 1989 : u.s. : germany
Paper図書
J.E. Nicholls (ed.)Springer-Verlagc1990
Other Libraries in Japan
  • Subject HeadingZ (Computer program language) -- Congresses
  • Subject Heading (ID)Z (Computer program language) -- Congresses

Reached to the end of result.

RSS