Formal Methods and Stochastic Models for Performance Evaluation
Subtitle: Third European Performance Engineering Workshop, EPEW 2006, Budapest, Hungary, June 21-22, ... (Lecture Notes in Computer Science)
Contributors: András Horváth (Editor); Miklós Telek (Editor)
Edition: 1 edition
Publisher: Springer
Published: July 26, 2006
Language: eng
Format: Paperback
Number of pages: 239
ISBN-13: 9783540353621
Subjects: General Theory of Computing; Programming - General; Computers - Languages / Programming; Computers; Computer Books: Languages; Programming - Software Development; Networking - General; Programming - Systems Analysis & Design; Computers / Programming / Software Development; QoS; Web services; benchmarking; formal methods; formal verification; Operating Systems - General; Computer systems; Congresses; Evaluation; Formal methods (Computer science); Stochastic models