Над 4 милиона заглавия на английски и други езици! Открийте новата си история още днес! Безплатна доставка за поръчки над 69.99€

Проверка на състоянието на поръчката

Станете част от общност от любители на книгите от цял свят и получавате много предимства. Създай на безплатен акаунт

Безплатна доставка със Еконт над 69.99 €

Куриер Speedy 3.49 € Пункт на Speedy 3.49 € ЕКОНТ 3.99 € Еконтомат/Офис на Еконт 3.99 € Ekont Box 3.99 € Sameday 3.99 € Sameday box 3.99 € Box Now 3.99 €

Контакт

Как се пазарува?

Помощ

Моят акаунт

▸ Празна :-(

Lectures on Formal Methods and Performance Analysis

Name: Lectures on Formal Methods and Performance Analysis
Brand: Springer, Berlin
SKU: 01563701
Price: 54.46 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

Език

Английски език

Книга С меки корици

Код Либристо: 01563701

Издателство Springer, Berlin, ноември 2000

Traditionally, models and methods for the analysis of the functional correctness of reactive systems... Цялото описание

Код Либристо: 01563701

132 b

54.46 €

106.52 лв

Външен склад Изпращаме след 5-8 дни

30 дни за връщане на стоката

Клиентите са закупили също

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

С твърди корици

13.97 € 27.33 лв

La politique internationale de la Chine Jean-Pierre CABESTAN

С меки корици

35.31 € 69.05 лв

Dire, agir, définir Sarfati

С меки корици

31.22 € 61.05 лв

Picasso Henry Gidel

С твърди корици

13.87 € 27.13 лв

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

С меки корици

20.50 € 40.09 лв

Odhalený vesmír Alastair Reynolds

С твърди корици

26.04 € 50.93 лв

321 cose intelligenti da sapere prima di diventare grandi Mathilda Masters

С меки корици

29.45 € 57.61 лв

Closing Time Tom Waits

Аудио компактдиск

15.48 € 30.27 лв

Le guide des plantes toxiques pour les chevaux Claire Lecarpentier

С меки корици

20.24 € 39.58 лв

Dieses Mal ist es fur immer Juergen von Rehberg

С меки корици

5.95 € 11.64 лв

Kamerun Carl Hager

С меки корици

12.42 € 24.29 лв

Filosofía esotérica de la India Bodhabhikshu Brahmacharin

С меки корици

12.01 € 23.48 лв

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

С меки корици

16.56 € 32.39 лв

Empfindsame Reise von Oldenburg nach Bremen Christoph Von Hedemann

С меки корици

28.37 € 55.48 лв

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

С меки корици

37.89 € 74.11 лв

Mein lila Liederbuch Eva-Maria Bauer

С твърди корици

23.71 € 46.37 лв

In Grenzen - über Grenzen hinaus Karl Heinrich Ehrenforth

С меки корици

61.56 € 120.39 лв

Die Welt der Elementarwesen Rudolf Steiner

С меки корици

20.19 € 39.48 лв

Informationstechnologie und Organisation zwischen Unternehmen Jochen Haller

С меки корици

45.35 € 88.70 лв

Titan ean Paul

С меки корици

18.01 € 35.23 лв

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.