Lectures on Formal Methods and PerformanceAnalysis
Brinksma, Ed.
Lectures on Formal Methods and PerformanceAnalysis First EEF/Euro Summer School on Trends in Computer Science Bergen Dal, The Netherlands, July 3-7, 2000 Revised Lectures / edited by Ed Brinksma, Holger Hermanns, Joost-Pieter Katoen. - On-campus e-Book by Springer under Digital Library Program of Higher Education Commission (HEC) of Pakistan
9783540446675
Computer science.; Computer Communication Networks.; Computer system performance.; Software engineering.; Logic design.; Computer Science.; Logics and Meanings of Programs.; Software Engineering.; System Performance and Evaluation.; Computer Communication Networks.; Programming Languages, Compilers, Interpreters.
Lectures on Formal Methods and PerformanceAnalysis First EEF/Euro Summer School on Trends in Computer Science Bergen Dal, The Netherlands, July 3-7, 2000 Revised Lectures / edited by Ed Brinksma, Holger Hermanns, Joost-Pieter Katoen. - On-campus e-Book by Springer under Digital Library Program of Higher Education Commission (HEC) of Pakistan
9783540446675
Computer science.; Computer Communication Networks.; Computer system performance.; Software engineering.; Logic design.; Computer Science.; Logics and Meanings of Programs.; Software Engineering.; System Performance and Evaluation.; Computer Communication Networks.; Programming Languages, Compilers, Interpreters.