Code: 01568557

Formal Methods for Performance Evaluation

Name: Formal Methods for Performance Evaluation
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 01568557
Price: 51.65 EUR
Availability: InStock
Author: Marco Bernardo
ISBN: 9783540724827

by Marco Bernardo, Jane Hillston

Language: English
Binding: Paperback
Number of pages: 472
Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2007
More about this

51.65 €

RRP: 55.93 €

You save 4.28 €

In stock at our supplier
Shipping in 5 - 8 days

Add to wishlist

Signs from Pets in the Afterlife
12.73 € -1 %
Buy
Feline Nutrition
8.89 € -7 %
Buy
Echoes of Endless Sorrow
16.47 € -2 %
Buy
USING MS EXCHANGE SERVER 5.5
50.13 €
Buy
La odisea de Miró y sus constelaciones: El pintor y sus marchantes
33.45 €
Buy
The Philistines: Their History And Civilization (1913)
20.21 € -1 %
Buy
Jasmine n'a plus peur
15.36 €
Buy
Study of Gabor Frames and Related Concepts in Banach Spaces
71.06 € -14 %
Buy
Du Sens Propre Des Expressions: Ombre de Dieu, Khalife de Dieu
12.12 € -1 %
Buy
Recollections of President Lincoln and his Administration
28.50 € -14 %
Buy
Evidence Use in Health Policy Making
30.01 € -4 %
Buy
L'Isle Inconnue V3-4: Ou Memoires Du Chevalier Des Gastines (1783)
45.38 € -1 %
Buy
Report on Rubber Offset Printing for Maps
11.31 €
Buy
Molecular Biology of Drug Addiction
167.60 €
Buy

Give this book as a present today

Order book and choose Gift Order.
We will send you book gift voucher at once. You can give it out to anyone.
Book will be send to donee, nothing more to care about.

Book gift voucher sample Read more

More about Formal Methods for Performance Evaluation

Book details
Synopsis
Trending among others

You get 125 loyalty points

Book synopsis

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.

Book details

Book category Books in English Computing & information technology Computer science

51.65 €

Full title: Formal Methods for Performance Evaluation
Subtitle: 7th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2007, Bertinoro, Italy, May 8-June 2, 2007, Advanced Lectures
Author: Marco Bernardo, Jane Hillston
Language: English
Binding: Paperback
Number of pages: 472
EAN: 9783540724827
ISBN: 3540724826
ID: 01568557
Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Weight: 712 g
Dimensions: 235 × 154 × 28 mm
Date of publishing: 18. May 2007