000 00603nam a2200145Ia 4500
008 191030s9999 xx 000 0 und d
020 _a9783319434254
100 _aGul Agha, Benny Van Houdt
245 0 _aQuantitative Evaluation of Systems
260 _bSpringer
_c2016
440 _aLecture Notes in Computer Science
653 _aLogics and Meanings of Programs; System Performance and Evaluation; Probability and Statistics in Computer Science; Computation by Abstract Devices; Simulation and Modeling
856 _uhttp://link.springer.com/openurl?genre=book&isbn=978-3-319-43424-7
942 _cEB
999 _c43325
_d43325