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 method1490829UNISA01119nam0 22002891i 450 UON0022823920231205103448.25335-340-7263-420030730d1979 |0itac50 bagerDE|||| |||||ˆDas ‰Markus-Evangeliumhrsg. von Rudolf PeschDarmstadtWissenschaftliche Buchgesellschaft1979VI, 413 p.20 cm.001UON000877292001 Wege der Forschung411BIBBIANuovo TestamentoVangelo Secondo MarcoUONC045310FIDEDarmstadtUONL000227226VANGELI E ATTI DEGLI APOSTOLI21PESCHRudolfUONV013013Wissenschaftliche BuchgesellschaftUONV246154650ITSOL20240220RICASIBA - SISTEMA BIBLIOTECARIO DI ATENEOUONSIUON00228239SIBA - SISTEMA BIBLIOTECARIO DI ATENEOSI COLL. FP 038 06 SI FP 906 7 Markus-Evangelium1271803UNIOR