Status der Bestellung anzeigen

Werden Sie Teil einer Gemeinschaft von Buchliebhabern aus der ganzen Welt und erhalten Sie eine Reihe von Vorteilen. Konto kostenlos anlegen

DPD-Kurier 4.49 € Hermes Kurierdienst 4.99 € DHL-Kurier 3.99 € Hermes-Stelle 4.49 € DPD-Stelle 2.99 € GLS-Kurierdienst 4.49 €

Kontakt

Wie einkaufen

Hilfe

Mein Konto

▸ Leer :-(

Lectures on Formal Methods and Performance Analysis

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

Sprache

Englisch

Buch Broschur

Libristo-Code: 01563701

Verlag Springer, Berlin, November 2000

Traditionally, models and methods for the analysis of the functional correctness of reactive systems... Vollständige Beschreibung

Libristo-Code: 01563701

141 b

57.79 € inkl. MwSt.

Externes Lager in kleiner Menge Wir versenden in 13-18 Tagen

30 Tage für die Rückgabe der Ware

Kunden kauften auch

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

Hardcover

14.49 €

La politique internationale de la Chine Jean-Pierre CABESTAN

Broschur

34.89 €

Dire, agir, définir Sarfati

Broschur

30.79 €

Picasso Henry Gidel

Hardcover

13.99 €

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

Broschur

20.19 €

Odhalený vesmír Alastair Reynolds

Hardcover

25.69 €

321 cose intelligenti da sapere prima di diventare grandi Mathilda Masters

Broschur

29.09 €

Closing Time Tom Waits

Audio CD

16.99 €

Le guide des plantes toxiques pour les chevaux Claire Lecarpentier

Broschur

20.99 €

Dieses Mal ist es fur immer Juergen von Rehberg

Broschur

11.59 €

Kamerun Carl Hager

Broschur

18.69 €

Filosofía esotérica de la India Bodhabhikshu Brahmacharin

Broschur

11.79 €

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

Broschur

17.09 €

Empfindsame Reise von Oldenburg nach Bremen Christoph Von Hedemann

Broschur

39.59 €

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

Broschur

37.39 €

Mein lila Liederbuch Eva-Maria Bauer

Hardcover

24.90 €

In Grenzen - über Grenzen hinaus Karl Heinrich Ehrenforth

Broschur

60.79 €

Die Welt der Elementarwesen Rudolf Steiner

Broschur

23.59 €

Informationstechnologie und Organisation zwischen Unternehmen Jochen Haller

Broschur

47.95 €

Titan ean Paul

Broschur

20.49 €

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.

Schauspielerin & Polyglotte

EWA KASP für

Video abspielen

Libristo bietet die größte Auswahl an fremdsprachiger Literatur an. Deshalb kaufe ich meine Bücher hier ein.

Informationen zum Buch

Vollständiger Name Lectures on Formal Methods and Performance Analysis

Autor Ed Brinksma, Holger Hermanns, Joost-Pieter Katoen

Sprache

Englisch

Einband Buch - Broschur

Datum der Veröffentlichung 2001

Anzahl der Seiten 434

EAN 9783540424796

ISBN 3540424792

Libristo-Code 01563701

Verlag Springer, Berlin

Gewicht 688

Abmessungen 155 x 233 x 23

Kategorie

EDV und Informationstechnologie > Informatik > Künstliche Intelligenz > Maschinelles Lernen

EDV und Informationstechnologie > Computerhardware > Netzwerk-Hardware

EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Software Engineering

EDV und Informationstechnologie > Informatik > Theoretische Informatik

EDV und Informationstechnologie > Informatik > Systemanalyse und -design

EDV und Informationstechnologie > Informatik > Rechnerarchitektur und Logik-Entwurf

EDV und Informationstechnologie > Betriebssysteme

Verschenken Sie dieses Buch noch heute

Es ist ganz einfach

1 Legen Sie das Buch in Ihren Warenkorb und wählen Sie den Versand als Geschenk 2 Wir schicken Ihnen umgehend einen Gutschein 3 Das Buch wird an die Adresse des beschenkten Empfängers geliefert