01553nlm0 22004211i 450 9900092555304033219783540788003000925553FED01000925553(Aleph)000925553FED0100092555320100926d2008----km-y0itay50------baengDEdrnn-008mamaaTools and Algorithms for the Construction and Analysis of SystemsRisorsa elettronica14th International Conference, TACAS 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, MaBerlin ; HeidelbergSpringer2008Lecture Notes in Computer Science0302-97434963Documento elettronicoTestoFormato html, pdfRamakrishnan,C. R.Rehof,JakobITUNINAREICATUNIMARCFull text per gli utenti Federico IIhttp://dx.doi.org/10.1007/978-3-540-78800-3EB990009255530403321Algorithm Analysis and Problem ComplexityComputer Communication NetworksComputer Communication NetworksComputer ScienceComputer softwareLogic designLogics and Meanings of ProgramsSoftware engineeringSoftware EngineeringTools and Algorithms for the Construction and Analysis of Systems772021UNINA