01570nlm0 22004331i 450 9900092411404033219783540330578000924114FED01000924114(Aleph)000924114FED0100092411420100926d2006----km-y0itay50------baengDEdrnn-008mamaaTools and Algorithms for the Construction and Analysis of SystemsRisorsa elettronica12th International Conference, TACAS 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, AustriaBerlin ; HeidelbergSpringer2006Lecture Notes in Computer Science0302-97433920Documento elettronicoTestoFormato html, pdfHermanns,HolgerPalsberg,JensITUNINAREICATUNIMARCFull text per gli utenti Federico IIhttp://dx.doi.org/10.1007/11691372EB990009241140403321Algorithm 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