01584nlm0 22004331i 450 9900092368504033219783540725220000923685FED01000923685(Aleph)000923685FED0100092368520100926d2007----km-y0itay50------baengDEdrnn-008mamaaFormal Methods for Performance EvaluationRisorsa elettronica7th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2007, Bertinoro, Italy, May 28-June 2, 2007, Advanced LecturesBerlin ; HeidelbergSpringer2007Lecture Notes in Computer Science0302-97434486Documento elettronicoTestoFormato html, pdfBernardo,MarcoHillston,JaneITUNINAREICATUNIMARCFull text per gli utenti Federico IIhttp://dx.doi.org/10.1007/978-3-540-72522-0EB990009236850403321Computer Communication NetworksComputer Communication NetworksComputer scienceComputer ScienceLogic designLogics and Meanings of ProgramsProgramming Languages, Compilers, InterpretersSoftware engineeringSoftware EngineeringSpecial Purpose and Application-Based SystemsFormal Methods for Performance Evaluation772734UNINA