01397nlm0 22003971i 450 9900092464804033219783540687610000924648FED01000924648(Aleph)000924648FED0100092464820100926d2006----km-y0itay50------baengDEdrnn-008mamaaB 2007: Formal Specification and Development in BRisorsa elettronica7th International Conference of B Users, Besançon, France, January 17-19, 2007. Proceedingsedited by Jacques Julliand, Olga KouchnarenkoBerlin ; HeidelbergSpringer2006Lecture Notes in Computer Science0302-97434355Documento elettronicoTestoFormato html, pdfJulliand,JacquesKouchnarenko,OlgaITUNINAREICATUNIMARCFull text per gli utenti Federico IIhttp://dx.doi.org/10.1007/11955757EB990009246480403321Computer scienceComputer ScienceLogic designLogics and Meanings of ProgramsMathematical Logic and Formal LanguagesSoftware engineeringSoftware EngineeringB 2007: Formal Specification and Development in B772071UNINA