01575nlm0 22004331i 450 9900092364004033219783540712091000923640FED01000923640(Aleph)000923640FED0100092364020100926d2007----km-y0itay50------baengDEdrnn-008mamaaTools and Algorithms for the Construction and Analysis of SystemsRisorsa elettronica13th International Conference, TACAS 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007 Braga, PortugalBerlin ; HeidelbergSpringer2007Lecture Notes in Computer Science0302-97434424Documento elettronicoTestoFormato html, pdfGrumberg,OrnaHuth,MichaelITUNINAREICATUNIMARCFull text per gli utenti Federico IIhttp://dx.doi.org/10.1007/978-3-540-71209-1EB990009236400403321Algorithm 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