KI-Beratung Beta
Vor Ort
Merkzettel Warenkorb

Gutscheinbedingungen

**Gültig bis 31.10.2026 ab einem Mindestbestellwert von 30€ auf Spielzeug, Schreibwaren, Filme, Geschenke & Trends, Musik, tolino eReader & Zubehör, Hörbücher und Hörbuch-Downloads, nicht preisgebundene Bücher und Kalender online auf thalia.at und in der Thalia App. Einzelne Artikel können ausgeschlossen sein. Aufgrund der Buchpreisbindung sind deutschsprachige Bücher und eBooks ausgenommen. Zusätzlich ausgenommen sind Abos & Flatrates, Games, Geschenkkarten/-boxen, Shelfies, Software, Zeitschriften sowie einzelne Artikel von tonies®. 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 Versandkosten und Services. Preisgebundene Artikel sind vom Mindestbestellwert ausgeschlossen.
  • Produktbild: Process Algebra and Probabilistic Methods. Performance Modelling and Verification
  • Produktbild: Process Algebra and Probabilistic Methods. Performance Modelling and Verification
Band 2165

Process Algebra and Probabilistic Methods. Performance Modelling and Verification Joint International Workshop, PAPM-PROBMIV 2001, Aachen, Germany, September 12-14, 2001. Proceedings

Aus der Reihe Lecture Notes in Computer Science

51,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

29.08.2001

Abbildungen

XII, 224 p.

Herausgeber

Luca de Alfaro + weitere

Verlag

Springer Berlin

Seitenzahl

224

Maße (L/B/H)

23,5/15,5/1,3 cm

Gewicht

365 g

Auflage

2001

Sprache

Englisch

ISBN

978-3-540-42556-4

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

29.08.2001

Abbildungen

XII, 224 p.

Herausgeber

Verlag

Springer Berlin

Seitenzahl

224

Maße (L/B/H)

23,5/15,5/1,3 cm

Gewicht

365 g

Auflage

2001

Sprache

Englisch

ISBN

978-3-540-42556-4

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: Process Algebra and Probabilistic Methods. Performance Modelling and Verification
  • Produktbild: Process Algebra and Probabilistic Methods. Performance Modelling and Verification
  • Invited Paper.- Advances in Model Representations.- Contributed Papers.- Faster and Symbolic CTMC Model Checking.- Reachability Analysis of Probabilistic Systems by Successive Refinements.- Beyond Memoryless Distributions: Model Checking Semi-Markov Chains.- Coin Lemmas with Random Variables.- MoDeST — A Modelling and Description Language for Stochastic Timed Systems.- Randomization Helps in LTL Model Checking.- An Efficient Kronecker Representation for PEPA Models.- Reward Based Congruences: Can We Aggregate More?.- Using Max-Plus Algebra for the Evaluation of Stochastic Process Algebra Prefixes.- Expressing Processes with Different Action Durations through Probabilities.- Quantifying the Dynamic Behavior of Process Algebras.- Implementing a Stochastic Process Algebra within the Möbius Modeling Framework.