01500nlm0 22004451i 450 9900092557104033219783540791249000925571FED01000925571(Aleph)000925571FED0100092557120100926d2008----km-y0itay50------baengDEdrnn-008mamaaTests and ProofsRisorsa elettronicaSecond International Conference, TAP 2008, Prato, Italy, April 9-11, 2008. Proceedingsedited by Bernhard Beckert, Reiner HähnleBerlin ; HeidelbergSpringer2008Lecture Notes in Computer Science0302-97434966Documento elettronicoTestoFormato html, pdfBeckert,BernhardHähnle,ReinerITUNINAREICATUNIMARCFull text per gli utenti Federico IIhttp://dx.doi.org/10.1007/978-3-540-79124-9EB990009255710403321Computer Communication NetworksComputer Communication NetworksComputer scienceComputer ScienceComputer system performanceComputers and SocietyLogic designLogics and Meanings of ProgramsSoftware engineeringSoftware EngineeringSystem Performance and EvaluationTests and Proofs772200UNINA