Free delivery for orders over 69.99 euro.

Check order status

Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free

Free delivery for purchases over 69.99 €

DPD courier 5.99 € Bpost point 7.99 € Bpost 7.49 € DPD point 3.49 € GLS courier 4.99 €

Contact

How to shop

Help

My account

▸ Empty :-(

Free delivery for orders over 69.99 euro.

Lectures on Formal Methods and Performance Analysis

Name: Lectures on Formal Methods and Performance Analysis
Brand: Springer, Berlin
SKU: 01563701
Price: 51.62 EUR
Availability: InStock
Author: Ed Brinksma
ISBN: 9783540424796

First EEF/Euro Summer School on Trends in Computer Science, Berg en Dal, The Netherlands, July 3-7, 2000. Revised Lectures

Ed Brinksma

Holger Hermanns

Joost-Pieter Katoen

Language

English

Book Paperback

Libristo code: 01563701

Publishers Springer, Berlin, November 2000

Traditionally, models and methods for the analysis of the functional correctness of reactive systems... Full description

Libristo code: 01563701

125 b

51.62 €

In stock at our supplier Shipping in 5-8 days

Up to 30 days for returns

Customers also purchased

Синий Трактор учится дружить

Hardback

13.12 €

La politique internationale de la Chine Jean-Pierre CABESTAN

Paperback

33.84 €

Dire, agir, définir Sarfati

Paperback

29.79 €

Picasso Henry Gidel

Hardback

13.02 €

LA CRANIECTOMÍA A TRAVÈS DE LOS SIGLOS RAFAEL VARA LPEZ

Paperback

19.59 €

Odhalený vesmír Alastair Reynolds

Hardback

24.44 €

321 cose intelligenti da sapere prima di diventare grandi Mathilda Masters

Paperback

27.98 €

Closing Time Tom Waits

Audio CD

14.64 €

Le guide des plantes toxiques pour les chevaux Claire Lecarpentier

Paperback

20.20 €

Dieses Mal ist es fur immer Juergen von Rehberg

Paperback

5.65 €

Kamerun Carl Hager

Paperback

11.71 €

Filosofía esotérica de la India Bodhabhikshu Brahmacharin

Paperback

11.51 €

Jean La Poste: Drame Anglais En 5 Actes Et 10 Tableaux Boucicault-D

Paperback

16.46 €

Empfindsame Reise von Oldenburg nach Bremen Christoph Von Hedemann

Paperback

26.76 €

Critica a los fundamentos teorico-metodologicos del pensamiento criminologico contemporaneo Lisbet Ramírez Segura

Paperback

35.65 €

Mein lila Liederbuch Eva-Maria Bauer

Hardback

22.32 €

In Grenzen - über Grenzen hinaus Karl Heinrich Ehrenforth

Paperback

58.89 €

Die Welt der Elementarwesen Rudolf Steiner

Paperback

18.98 €

Informationstechnologie und Organisation zwischen Unternehmen Jochen Haller

Paperback

42.73 €

Titan ean Paul

Paperback

16.96 €

Traditionally, models and methods for the analysis of the functional correctness of reactive systems and those for the analysis of their performance (and dependability) aspects have been studied by different research communities. However, in modern systems the difference between their functional features and their performance properties has become blurred. During the last decade, this trend has motivated and increased interest in combining insights from the field of formal methods, traditionally focussed on functionality, with techniques from performance modeling and analysis. The 11 chapters in this book present the state of the art of research and tool development for the promising integrated approach towards modeling and analysis of functional and performance aspects of reactive systems.