01534nam2-2200409li-450 99000020906020331620180312154715.03-540-64405-90020906USA010020906(ALEPH)000020906USA01002090620001109d1998----km-y0itay0103----baengGWrecent advances in the development and use of the B methodsecond international B conference,Montepellier, France, April 22-24,1998proceedingsDidier Bert (ed.)B'98BerlinoSpringer-Verlagcopyr. 1998VIII, 311 p.ill.23 cmLecture notes in computer science139300100202642001Lecture notes in computer sciencecongressimontpellier1998softwareprogettazionecongressi199800514Verifica, prove, misuraz. messa a punto (debuggingBert,DidierInternational B conference B'982.Montpellier1998746700Sistema bibliotecario di Ateneo dell' Università di SalernoRICA990000209060203316001 LNCS (1393)002268700100104117BKSCI1998101420001110USA011714ALANDI9020010206USA01110320020403USA011629PATRY9020040406USA011615Recent advances in the development and use of the B method1490829UNISA