Doprava zdarma pre objednávky nad 59,99 € s Packetou a SPS Boxmi.

Zistiť stav objednávky

Staňte sa súčasťou komunity milovníkov kníh z celého sveta a získajte hromadu výhod. Založiť účet zdarma

Doprava zadarmo s Packetou nad 59.99 €

Kuriér DPD 2.99 € Zberné miesto GLS 2.49 € SPS 3.99 € SPS Parcel Shop 2.99 € Packeta kurýr 3.99 € Pošta 3.99 € Zberné miesto DPD 2.99 € Kuriér GLS 3.99 € Packeta 2.99 €

Kontakt

Ako nakupovať

Pomoc

Môj účet

▸ Prázdny :-(

Doprava zdarma pre objednávky nad 59,99 € s Packetou a SPS Boxmi.

Lectures on Formal Methods and Performance Analysis

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

Jazyk

Angličtina

Kniha Brožovaná

Libristo kód: 01563701

Nakladateľstvo Springer, Berlin, november 2000

Traditionally, models and methods for the analysis of the functional correctness of reactive systems... Celý popis

Libristo kód: 01563701

125 b

51.68 €

Skladom u dodávateľa Odosielame za 5-8 dní

30 dní na vrátenie tovaru

Zákazníci tiež kúpili

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

Pevná

13.14 €

La politique internationale de la Chine Jean-Pierre CABESTAN

Brožovaná

33.88 €

Dire, agir, définir Sarfati

Brožovaná

29.83 €

Picasso Henry Gidel

Pevná

11.12 €

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

Brožovaná

19.61 €

Odhalený vesmír Alastair Reynolds

Pevná

23.86 €

321 cose intelligenti da sapere prima di diventare grandi Mathilda Masters

Brožovaná

28.01 €

Closing Time Tom Waits

Audio CD

14.66 €

Le guide des plantes toxiques pour les chevaux Claire Lecarpentier

Brožovaná

19.21 €

Dieses Mal ist es fur immer Juergen von Rehberg

Brožovaná

5.65 €

Kamerun Carl Hager

Brožovaná

11.72 €

Filosofía esotérica de la India Bodhabhikshu Brahmacharin

Brožovaná

11.52 €

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

Brožovaná

15.67 €

Empfindsame Reise von Oldenburg nach Bremen Christoph Von Hedemann

Brožovaná

26.80 €

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

Brožovaná

35.70 €

Mein lila Liederbuch Eva-Maria Bauer

Pevná

22.35 €

In Grenzen - über Grenzen hinaus Karl Heinrich Ehrenforth

Brožovaná

58.96 €

Die Welt der Elementarwesen Rudolf Steiner

Brožovaná

19.01 €

Informationstechnologie und Organisation zwischen Unternehmen Jochen Haller

Brožovaná

42.78 €

Titan ean Paul

Brožovaná

16.98 €

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.