Foundational and Practical Aspects of Resource Analysis
- Springer 2014
- Lecture Notes in Computer Science .
9783319124667
System Performance and Evaluation; Algorithm Analysis and Problem Complexity; Logics and Meanings of Programs; Software Engineering; Programming Languages, Compilers, Interpreters; Computation by Abstract Devices