Vor Ort
Merkzettel Warenkorb

Gutscheinbedingungen

**Gültig bis 02.09.2026 auf fremdsprachige Bücher in der Thalia App. Einzelne Artikel können ausgeschlossen sein. Ausgenommen sind preisgebundene Artikel & eBooks. Pro Einkauf einmal einlösbar. Click & Collect nur bei Onlinevorabzahlung möglich. Keine Barauszahlung. Nicht kombinierbar mit anderen Aktionen und Gutscheinen. Gutschein wird auf max. 500€ Bestellwert angerechnet. Nicht gültig für Geschenkkarten, Versandkosten und Services.
  • Produktbild: Lectures on Formal Methods and Performance Analysis
  • Produktbild: Lectures on Formal Methods and Performance Analysis
Band 2090

Lectures on Formal Methods and Performance Analysis First EEF/Euro Summer School on Trends in Computer Science Berg en Dal, The Netherlands, July 3-7, 2000. Revised Lectures

Aus der Reihe Lecture Notes in Computer Science

51,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

29.08.2001

Abbildungen

VIII, 434 p.

Herausgeber

Ed Brinksma + weitere

Verlag

Springer Berlin

Seitenzahl

434

Maße (L/B/H)

23,5/15,5/2,4 cm

Gewicht

668 g

Auflage

2001

Sprache

Englisch

ISBN

978-3-540-42479-6

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

29.08.2001

Abbildungen

VIII, 434 p.

Herausgeber

Verlag

Springer Berlin

Seitenzahl

434

Maße (L/B/H)

23,5/15,5/2,4 cm

Gewicht

668 g

Auflage

2001

Sprache

Englisch

ISBN

978-3-540-42479-6

Herstelleradresse

Springer-Verlag KG
Sachsenplatz 4-6
1201 Wien
AT

Email: ProductSafety@springernature.com

Noch keine Bewertungen vorhanden

Verfassen Sie die erste Bewertung zu diesem Artikel

Helfen Sie anderen Kundinnen und Kunden durch Ihre Meinung.

Kundinnen und Kunden meinen

Bewertungen (0)
  • Produktbild: Lectures on Formal Methods and Performance Analysis
  • Produktbild: Lectures on Formal Methods and Performance Analysis
  • Formal Methods for Performance Evaluation.- Markovian Models for Performance and Dependability Evaluation.- to Stochastic Petri Nets.- Non-Markovian Analysis.- Process Algebra and Markov Chains.- Verification of Randomized Distributed Algorithms.- Constructing Automata from Temporal Logic Formulas: A Tutorial?.- Exploiting Structure in Solution: Decomposing Compositional Models.- Stochastic Activity Networks: Formal Definitions and Concepts?.- Distributed and Structured Analysis Approaches to Study Large and Complex Systems?.- General Distributions in Process Algebra.