Formal Methods and Stochastic Models for Performance Evaluation
Horváth, András.
Formal Methods and Stochastic Models for Performance Evaluation Third European Performance Engineering Workshop, EPEW 2006, Budapest, Hungary, June 21-22, 2006. Proceedings / [electronic resource] : edited by András Horváth, Miklós Telek. - 1a ed. - Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2006. - v.: digital - Lecture Notes in Computer Science, 4054 0302-9743 ; .
9783540353652
Método formal (Informática)--Congresos
Sistema de computadores (Informática)--Evaluación--Congresos
QA76.9.F67 / H67 2006
Formal Methods and Stochastic Models for Performance Evaluation Third European Performance Engineering Workshop, EPEW 2006, Budapest, Hungary, June 21-22, 2006. Proceedings / [electronic resource] : edited by András Horváth, Miklós Telek. - 1a ed. - Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2006. - v.: digital - Lecture Notes in Computer Science, 4054 0302-9743 ; .
9783540353652
Método formal (Informática)--Congresos
Sistema de computadores (Informática)--Evaluación--Congresos
QA76.9.F67 / H67 2006