01642nlm0 22004571i 450 9900092403804033219783540319030000924038FED01000924038(Aleph)000924038FED0100092403820100926d2005----km-y0itay50------baengDEdrnn-008mamaaFormal Techniques for Computer Systems and Business ProcessesRisorsa elettronicaEuropean Performance Engineering Workshop, EPEW 2005 and International Workshop on Web Services and Formal Methods, WS-FM 2005, Versailles, France, SeptemberBerlin ; HeidelbergSpringer2005Lecture Notes in Computer Science0302-97433670Documento elettronicoTestoFormato html, pdfBravetti,MarioKloul,LeïlaZavattaro,GianluigiITUNINAREICATUNIMARCFull text per gli utenti Federico IIhttp://dx.doi.org/10.1007/11549970EB990009240380403321Computer Communication NetworksComputer Communication NetworksComputer scienceComputer ScienceComputer system performanceComputers and SocietyLogic designLogics and Meanings of ProgramsSoftware engineeringSoftware EngineeringSystem Performance and EvaluationFormal Techniques for Computer Systems and Business Processes772761UNINA