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 € Kuriér GLS 3.99 € Zberné miesto GLS 2.49 € SPS 3.99 € SPS Parcel Shop 2.99 € Packeta kurýr 3.99 € Slovenská pošta 3.99 € Zberné miesto DPD 2.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.53 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.53 €

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

Až 30 dní na vrátenie tovaru

Zákazníci tiež kúpili

Titan ean Paul

Brožovaná

19.56 €

In Grenzen - über Grenzen hinaus Karl Heinrich Ehrenforth

Brožovaná

58.59 €

Dire, agir, définir Sarfati

Brožovaná

29.54 €

La politique internationale de la Chine Jean-Pierre CABESTAN

Brožovaná

33.58 €

321 cose intelligenti da sapere prima di diventare grandi Mathilda Masters

Brožovaná

27.73 €

Poslové slunce Aiden Thomas

Brožovaná

9.67 €

Odhalený vesmír Alastair Reynolds

Pevná

24.50 €

Picasso Henry Gidel

Pevná

11.09 €

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

Pevná

13.10 €

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

Brožovaná

19.46 €

Informationstechnologie und Organisation zwischen Unternehmen Jochen Haller

Brožovaná

42.66 €

Die Welt der Elementarwesen Rudolf Steiner

Brožovaná

18.95 €

Closing Time Tom Waits

Audio CD

14.62 €

Mein lila Liederbuch Eva-Maria Bauer

Pevná

22.28 €

Empfindsame Reise von Oldenburg nach Bremen Christoph Von Hedemann

Brožovaná

26.72 €

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

Brožovaná

14.72 €

Le guide des plantes toxiques pour les chevaux Claire Lecarpentier

Brožovaná

19.15 €

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

Brožovaná

35.60 €

Filosofía esotérica de la India Bodhabhikshu Brahmacharin

Brožovaná

11.29 €

Dieses Mal ist es fur immer Juergen von Rehberg

Brožovaná

5.64 €

Kamerun Carl Hager

Brožovaná

11.69 €

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.