.png){kind=logo}
Stock image for illustration purposes only - book cover, edition or condition may vary.
Formal Methods for Performance Evaluation: 7th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, ... / Programming and Software Engineering)
Marco Bernardo
€ 68.80
FREE Delivery in Ireland
Description for Formal Methods for Performance Evaluation: 7th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, ... / Programming and Software Engineering)
Paperback. This book presents a set of 11 papers accompanying the lectures of leading researchers given at the 7th edition of the International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2007, held in Bertinoro, Italy in May/June 2007. SFM 2007 was devoted to formal techniques for performance evaluation and covered several aspects of the field. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 472 pages, biography. BIC Classification: UY. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 235 x 154 x 28. Weight in Grams: 712. Advanced Lectures 7th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, Sfm 2007, Bertinoro, Italy, May 8-June 2, 2007. Series: Lecture Notes in Computer Science / Programming and Software Engineering. 484 pages, 1, black & white illustrations. This book presents a set of 11 papers accompanying the lectures of leading researchers given at the 7th edition of the International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2007, held in Bertinoro, Italy in May/June 2007. SFM 2007 was devoted to formal techniques for performance evaluation and covered several aspects of the field. Cateogry: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. BIC Classification: UY. Dimension: 235 x 154 x 28. Weight: 712.
This book presents a set of 11 papers accompanying the lectures of leading researchers given at the 7th edition of the International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2007, held in Bertinoro, Italy in May/June 2007. SFM 2007 was devoted to formal techniques for performance evaluation and covered several aspects of the field.
This book presents a set of 11 papers accompanying the lectures of leading researchers given at the 7th edition of the International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2007, held in Bertinoro, Italy in May/June 2007. SFM 2007 was devoted to formal techniques for performance evaluation and covered several aspects of the field.
Product Details
Format
Paperback
Publication date
2007
Publisher
Springer
Condition
New
Series
Lecture Notes in Computer Science / Programming and Software Engineering
Number of Pages
472
Place of Publication
Berlin, Germany
ISBN
9783540724827
SKU
V9783540724827
Shipping Time
Usually ships in 15 to 20 working days
Ref
99-15
Reviews for Formal Methods for Performance Evaluation: 7th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, ... / Programming and Software Engineering)