Catalog

Record Details

Catalog Search


Formal Methods and Stochastic Models for Performance Evaluation Fourth European Performance Engineering Workshop, EPEW 2007, Berlin, Germany, September 27-28, 2007. Proceedings Cover Image E-book E-book

Formal Methods and Stochastic Models for Performance Evaluation [electronic resource] : Fourth European Performance Engineering Workshop, EPEW 2007, Berlin, Germany, September 27-28, 2007. Proceedings / edited by Katinka Wolter.

Wolter, Katinka. (editor.). SpringerLink (Online service) (Added Author).

Record details

  • ISBN: 9783540752110
  • Physical Description: X, 301p. online resource.
  • Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Search for related items by subject

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.

Search for related items by series

Electronic resources

Texto completo


Additional Resources