Wolter, Katinka.

Formal Methods and Stochastic Models for Performance Evaluation Fourth European Performance Engineering Workshop, EPEW 2007, Berlin, Germany, September 27-28, 2007. Proceedings / [electronic resource] : edited by Katinka Wolter. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2007. - digital. - Lecture Notes in Computer Science, 4748 0302-9743 ; . - Lecture Notes in Computer Science, 4748 .

9783540752110

10.1007/978-3-540-75211-0 doi


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.

QA76.758

005.1

2017 | The Technical University of Kenya Library | +254(020) 2219929, 3341639, 3343672 | library@tukenya.ac.ke | Haile Selassie Avenue