Doprava zdarma při nákupu nad 1 499 Kč přes Zásilkovnu nebo PPL Box.

Zjistit stav objednávky

Staňte se součástí komunity milovníků knih z celého světa a získejte hromadu výhod. Založit účet zdarma

Doprava zdarma se Zásilkovnou nad 1 499 Kč

Kurýr DPD 69 Kč PPL shop 49 Kč Balíkovna 69 Kč PPL kurýr 74 Kč PPL box 39 Kč Balíkovna 49 Kč Výdejní místo DPD 49 Kč Zásilkovna 39 Kč

Kontakt

Jak nakupovat

Pomoc

Můj účet

▸ Prázdný :-(

Doprava zdarma při nákupu nad 1 499 Kč přes Zásilkovnu nebo PPL Box.

Lectures on Formal Methods and Performance Analysis

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

Nakladatelství Springer, Berlin, listopad 2000

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

Libristo kód: 01563701

118 b

1 182 Kč

Skladem u dodavatele Odesíláme za 5-8 dnů

30 dní na vrácení zboží

Zákazníci také koupili

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

Pevná

319 Kč

La politique internationale de la Chine Jean-Pierre CABESTAN

Brožovaná

819 Kč

Dire, agir, définir Sarfati

Brožovaná

723 Kč

Picasso Henry Gidel

Pevná

283 Kč

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

Brožovaná

475 Kč

Odhalený vesmír Alastair Reynolds

Pevná

554 Kč

321 cose intelligenti da sapere prima di diventare grandi Mathilda Masters

Brožovaná

678 Kč

Closing Time Tom Waits

Audio CD

334 Kč

Le guide des plantes toxiques pour les chevaux Claire Lecarpentier

Brožovaná

464 Kč

Dieses Mal ist es fur immer Juergen von Rehberg

Brožovaná

131 Kč

Kamerun Carl Hager

Brožovaná

267 Kč

Filosofía esotérica de la India Bodhabhikshu Brahmacharin

Brožovaná

278 Kč

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

Brožovaná

380 Kč

Empfindsame Reise von Oldenburg nach Bremen Christoph Von Hedemann

Brožovaná

610 Kč

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

Brožovaná

814 Kč

Mein lila Liederbuch Eva-Maria Bauer

Pevná

509 Kč

In Grenzen - über Grenzen hinaus Karl Heinrich Ehrenforth

Brožovaná

1 426 Kč

Die Welt der Elementarwesen Rudolf Steiner

Brožovaná

432 Kč

Informationstechnologie und Organisation zwischen Unternehmen Jochen Haller

Brožovaná

975 Kč

Titan ean Paul

Brožovaná

388 Kč

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.