Die Inhalte dieser Webseite enthalten Affiliate-Links, für die wir möglicherweise eine Vergütung erhalten.

Process Algebra and Probabilistic Methods: Performance Modeling and Verification

Name: Process Algebra and Probabilistic Methods: Performance Modeling and Verification
Brand: Springer Berlin Heidelberg, Springer Berlin Heidelberg
SKU: 177078735788
Price: 53.49 EUR
Availability: InStock
Rating: 0.0 (0 reviews)

Ø 0.0

0 Bewertungen

53,49 €

Titel: Process Algebra and Probabilistic Methods: Performance Modeling and Verification, Untertitel: Second Joint International Workshop PAPM-PROBMIV 2002, Copenhagen, Denmark, July 25-26, 2002 Proceedings, Einband: Taschenbuch, Autor: Roberto Segala, Verlag: Springer Berlin Heidelberg, Springer Berlin Heidelberg, Sprache: Englisch, Seiten: 232, Maße: 235x155x13 mm, Gewicht: 359 g, Verkäufer: buch-mimpf, Schlagworte: Automation / Prozessautomatisierung Prozessautomatisierung Algebra Hardware verification Markov chains Stochastic Timed Systems Systems Verif formal verification model checking modeling performance analysis petri net probabilistic systems probabilistic verification process algebra software verification stochastic process algebra.

Jetzt bei Ebay:

Zum Angebot *

Verlag:

Springer Berlin Heidelberg, Springer Berlin Heidelberg
Autor:

Roberto Segala
Seiten:

232
Gewicht:

359
Einband:

Taschenbuch
Format:

235x155x13 mm
Sprache:

Englisch
Marke:

Springer Berlin Heidelberg, Springer Berlin Heidelberg
Fachbereich:

Hardcover/Naturwissenschaften, Medizin, Informatik, Technik/Ma...
Publikationstitel:

Process Algebra and Probabilistic Methods: Performance Modelin...
Erscheinungsjahr:

20020710
Produktart:

Bücher
Buchtitel:

Process Algebra and Probabilistic Methods: Performance Modelin...
Film-/Fernseh-Titel:

Keine Angabe
Publikationsname:

Process Algebra and Probabilistic Methods: Performance Modelin...
Musiktitel:

Keine Angabe
Interpret:

Keine Angabe
Schlagworte:

Automation / Prozessautomatisierung Prozessautomatisierung A...
ISBN:

9783540439134

Standardversand:

DHL Kleinpaket kostenlos - Lieferung zwischen 20. June 2025 und 25. June 2025 (bei heutigem Zahlungseingang)
Standardversand:

DHL Paket 3,99 EUR - Lieferung zwischen 20. June 2025 und 25. June 2025 (bei heutigem Zahlungseingang)
Versand nach:

Deutschland
Versand ausgeschlossen:

Afrika , Asien , Mittelamerika und Karibik , Dänemark , Schweiz , Vatikan , Moldawien , Republik Kroatien , Portugal , Malta , ... und weitere

Process Algebra and Probabilistic Methods: Performance Modeling and Verification

Process Algebra and Probabilistic Methods. Performance Modelling and Verificatio

Julien Guyon | Probabilistic Modeling in Finance and Biology | Taschenbuch

Probabilistic Modeling in Finance and Biology Limit Theorems and Applications

Formal Methods for Real-Time and Probabilistic Systems Jost-Pieter Katoen

Ronny Hug | Probabilistic Parametric Curves for Sequence Modeling | Taschenbuch

Probabilistic Parametric Curves for Sequence Modeling Ronny Hug

Alfaro - Process Algebra and Probabilistic Methods. Performance Modell - L555z

Hermanns - Process Algebra and Probabilistic Methods. Performance Mode - L555z

Probabilistic Risk Analysis: Foundations and Methods - Bedford, Tim

Algebra and Coalgebra in Computer Science José Luis Fiadeiro

Computer Algebra Recipes: An Advanced Guide to Scientific Modeling An Advanced G

Probabilistic Approaches to Recommendations Nicola Barbieri

Probabilistic Modeling in Finance and Biology Julien Guyon

2D Curve Modeling via the Method of Probabilistic Nodes Combination Dariusz Jakó

Probabilistic Methods in Telecommunications (Compact Textbooks in Mathematics)

Modeling the Internet and the Web – Probabilistic Methods & Algorithms Baldi

An Introduction to Probabilistic Modeling - 9781461269960

Human-In-The-Loop: Probabilistic Modeling of an Aerospace Mission Outcome

Modeling the Internet and the Web: Probabilistic Methods and Algorithms by Pierr

Human-in-the-loop : Probabilistic Modeling of an Aerospace Mission Outcome, P...

Process Algebra and Probabilistic Methods: Performance Modeling and Verification

Ähnliche Artikel

Process Algebra and Probabilistic Methods. Performance Modelling and Verificatio

Julien Guyon | Probabilistic Modeling in Finance and Biology | Taschenbuch

Probabilistic Modeling in Finance and Biology Limit Theorems and Applications

Formal Methods for Real-Time and Probabilistic Systems Jost-Pieter Katoen

Ronny Hug | Probabilistic Parametric Curves for Sequence Modeling | Taschenbuch

Probabilistic Parametric Curves for Sequence Modeling Ronny Hug

Alfaro - Process Algebra and Probabilistic Methods. Performance Modell - L555z

Hermanns - Process Algebra and Probabilistic Methods. Performance Mode - L555z

Probabilistic Risk Analysis: Foundations and Methods - Bedford, Tim

Algebra and Coalgebra in Computer Science José Luis Fiadeiro

Computer Algebra Recipes: An Advanced Guide to Scientific Modeling An Advanced G

Probabilistic Approaches to Recommendations Nicola Barbieri

Probabilistic Modeling in Finance and Biology Julien Guyon

2D Curve Modeling via the Method of Probabilistic Nodes Combination Dariusz Jakó

Probabilistic Methods in Telecommunications (Compact Textbooks in Mathematics)

Modeling the Internet and the Web – Probabilistic Methods & Algorithms Baldi

An Introduction to Probabilistic Modeling - 9781461269960

Human-In-The-Loop: Probabilistic Modeling of an Aerospace Mission Outcome

Modeling the Internet and the Web: Probabilistic Methods and Algorithms by Pierr

Human-in-the-loop : Probabilistic Modeling of an Aerospace Mission Outcome, P...

Cookie Hinweis