Catalog

Record Details

Catalog Search



Formal Methods and Stochastic Models for Performance Evaluation [electronic resource] : Third European Performance Engineering Workshop, EPEW 2006, Budapest, Hungary, June 21-22, 2006. Proceedings / edited by András Horváth, Miklós Telek.

Horváth, András. (editor.). Telek, Miklós. (editor.). SpringerLink (Online service) (Added Author).

Electronic resources

Record details

  • ISBN: 9783540353652
  • Physical Description: VIII, 239 p. Also available online. online resource.
  • Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.
Subject: Computer science.
Computer Communication Networks.
Computer system performance.
Software engineering.
Logic design.
Computer Science.
Software Engineering.
System Performance and Evaluation.
Computer Communication Networks.
Logics and Meanings of Programs.

Additional Resources