Ugo Dal Lago, Ricardo Pe�a

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