LEADER 00899oam  2200253z- 450 
001 996466111703316
005 20190315215412.0
035   $a(CKB)1000000000210917
035   $a(EXLCZ)991000000000210917
100   $a20190107c1998uuuu  -u-            -
101 0 $aeng
200 10$aB'98 $erecent advances in the development and use of the B method : second International B Conference, Montpellier, France, April 22-24, 1998 : proceedings /$fDidier Bert (ed.)
210   $cSpringer Berlin Heidelberg
311   $a3-540-64405-9 
606   $aB method (Computer science)$xCongresses
606   $aDebugging in computer science$xCongresses
615  0$aB method (Computer science)$xCongresses.
615  0$aDebugging in computer science$xCongresses.
676   $a005.1/4
701   $aBert$b Didier$0878543
906   $aBOOK
912   $a996466111703316
996   $aB'98$92860662
997   $aUNISA