Jump to main content

yr 〜
yr

Search results 3

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 HeadingMachine theory -- Congresses. B method (Computer science) -- Congresses. Z (Computer program language)...

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 HeadingMachine theory -- Congresses. B method (Computer science) -- Congresses. Z (Computer program language)...

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

Reached to the end of result.

RSS