• Produktbild: Formal Methods for Performance Evaluation
  • Produktbild: Formal Methods for Performance Evaluation

Formal Methods for Performance Evaluation 7th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2007, Bertinoro, Italy, May 8-June 2, 2007, Advanced Lectures

51,99 €

inkl. gesetzl. MwSt., Versandkostenfrei


Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

18.05.2007

Herausgeber

Marco Bernardo + weitere

Verlag

Springer Berlin

Seitenzahl

472

Maße (L/B/H)

23,5/15,5/2,7 cm

Gewicht

727 g

Auflage

2007

Sprache

Englisch

ISBN

978-3-540-72482-7

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

18.05.2007

Herausgeber

Verlag

Springer Berlin

Seitenzahl

472

Maße (L/B/H)

23,5/15,5/2,7 cm

Gewicht

727 g

Auflage

2007

Sprache

Englisch

ISBN

978-3-540-72482-7

Herstelleradresse

Springer-Verlag KG
Sachsenplatz 4-6
1201 Wien
AT

Email: GPSR Kontakt

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: Formal Methods for Performance Evaluation
  • Produktbild: Formal Methods for Performance Evaluation
  • Performance Modelling and Markov Chains.- Queueing Networks.- to Generalized Stochastic Petri Nets.- Stochastic Process Algebras.- A Survey of Markovian Behavioral Equivalences.- Stochastic Model Checking.- Fluid Models in Performance Analysis.- Tackling Large State Spaces in Performance Modelling.- Data Representation and Efficient Solution: A Decision Diagram Approach.- to Software Performance Engineering: Origins and Outstanding Problems.- From Annotated Software Designs (UML SPT/MARTE) to Model Formalisms.