Formal Methods and Stochastic Models for Performance Evaluation Third European Performance Engineering Workshop, EPEW 2006, Budapest, Hungary, June 21-22, 2006, Proceedings /
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 Andras Horvath, Miklos Telek.
- Berlin Heidelberg : Springer-Verlag GmbH., 2006
- viii, 237 p. : ill., digital ; 24 cm.
- Lecture Notes in Computer Science, 4054 0302-9743 ; .
9783540353652 (electronic bk.)
Formal methods (Computer science)--Congresses.
Stochastic models--Congresses.
Computer systems--Evaluation--Congresses.
Computer Science.
Computer Communication Networks.
Logics and Meanings of Programs.
Software Engineering.
System Performance and Evaluation.
QA76.9.F67 / E64 2006
004.24
9783540353652 (electronic bk.)
Formal methods (Computer science)--Congresses.
Stochastic models--Congresses.
Computer systems--Evaluation--Congresses.
Computer Science.
Computer Communication Networks.
Logics and Meanings of Programs.
Software Engineering.
System Performance and Evaluation.
QA76.9.F67 / E64 2006
004.24