01570nlm0 22004331i 450 9900092471704033219783540319801000924717FED01000924717(Aleph)000924717FED0100092471720100926d2005----km-y0itay50------baengDEdrnn-008mamaaTools and Algorithms for the Construction and Analysis of SystemsRisorsa elettronica11th International Conference, TACAS 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UKBerlin ; HeidelbergSpringer2005Lecture Notes in Computer Science0302-97433440Documento elettronicoTestoFormato html, pdfHalbwachs,NicolasZuck,Lenore D.ITUNINAREICATUNIMARCFull text per gli utenti Federico IIhttp://dx.doi.org/10.1007/b107194EB990009247170403321Algorithm Analysis and Problem ComplexityComputer Communication NetworksComputer Communication NetworksComputer scienceComputer ScienceComputer softwareLogic designLogics and Meanings of ProgramsSoftware engineeringSoftware EngineeringTools and Algorithms for the Construction and Analysis of Systems772021UNINA