01507nlm0 22004451i 450 9900092499004033219783540737704000924990FED01000924990(Aleph)000924990FED0100092499020100926d2007----km-y0itay50------baengDEdrnn-008mamaaTests and ProofsRisorsa elettronicaFirst International Conference, TAP 2007, Zurich, Switzerland, February 12-13, 2007. Revised Papersedited by Yuri Gurevich, Bertrand MeyerBerlin ; HeidelbergSpringer2007Lecture Notes in Computer Science0302-97434454Documento elettronicoTestoFormato html, pdfGurevich,YuriMeyer,BertrandITUNINAREICATUNIMARCFull text per gli utenti Federico IIhttp://dx.doi.org/10.1007/978-3-540-73770-4EB990009249900403321Computer Communication NetworksComputer Communication NetworksComputer scienceComputer ScienceComputer system performanceComputers and SocietyLogic designLogics and Meanings of ProgramsSoftware engineeringSoftware EngineeringSystem Performance and EvaluationTests and Proofs772200UNINA