01488nlm0 22004211i 450 9900092405304033219783540320074000924053FED01000924053(Aleph)000924053FED0100092405320100926d2005----km-y0itay50------baengDEdrnn-008mamaaZB 2005: Formal Specification and Development in Z and BRisorsa elettronica4th International Conference of B and Z Users, Guildford, UK, April 13-15, 2005. Proceedingsedited by Helen Treharne, Steve King, Martin Henson, Steve SchneidBerlin ; HeidelbergSpringer2005Lecture Notes in Computer Science0302-97433455Documento elettronicoTestoFormato html, pdfHenson,MartinKing,SteveSchneider,SteveTreharne,HelenITUNINAREICATUNIMARCFull text per gli utenti Federico IIhttp://dx.doi.org/10.1007/b135596EB990009240530403321Computer scienceComputer ScienceLogic designLogics and Meanings of ProgramsMathematical Logic and Formal LanguagesSoftware engineeringSoftware EngineeringZB 2005: Formal Specification and Development in Z and B772749UNINA