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 method1490829UNISA00869cam2 22002531 450 SOBE0006494120221014115001.020201125h1978 |||||ita|0103 bafreFR2Daniel RocheParisLa HayeMoutonc1978520 p.ill., c. geogr.24 cm001E6002000305612001 <<Le >>siècle des lumières en province : Acadèmies et acadèmiciens provinciaux, 1680-1789 / Daniel RocheRoche, DanielA600200031220070154771ITUNISOB20221014RICAUNISOBUNISOB90087685SOBE00064941M 102 Monografia moderna SBNW900003221-2SI87685acquistobethbUNISOBUNISOB20221014114941.020221014115001.0bethb21761614UNISOB