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 de Marco Bernardo

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: Lecture Notes in Computer Science, cartea 4486

Editat de Marco Bernardo, Jane Hillston

en Limba Engleză Paperback – 18 mai 2007

Din seria Lecture Notes in Computer Science

Preț: 325^.10 lei

Preț vechi: 406^.38 lei
-20% Nou

Puncte Express: 488

:
62^.27€ • 67^.51$ • 51^.76£

Carte tipărită la comandă

Livrare economică 02-16 decembrie

Adaugă în coș

Wish list
Gift list
Am citit!

Adaugă în listă

Preluare comenzi: 021 569.72.76

Specificații

ISBN-13: 9783540724827
ISBN-10: 3540724826
Pagini: 484
Ilustrații: VII, 472 p.
Dimensiuni: 155 x 235 x 25 mm
Greutate: 0.71 kg
Ediția:2007
Editura: Springer Berlin, Heidelberg
Colecția Springer
Seriile Lecture Notes in Computer Science, Programming and Software Engineering

Locul publicării:Berlin, Heidelberg, Germany

Public țintă

Research

Cuprins

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.