Title: Quantitative Evaluation of Systems
Subjects: Computer networks, Reliability (engineering), Machine theory, Petri nets, Computer science, Computer system performance, Logic design, Logics and Meanings of Programs, System Performance and Evaluation, Probability and Statistics in Computer Science, Computation by Abstract Devices