Formal Methods for Performance Evaluation
Editat de Marco Bernardo, Jane Hillstonen Limba Engleză Paperback – 18 mai 2007
Preț: 330.58 lei
Preț vechi: 413.22 lei
-20% Nou
Puncte Express: 496
Preț estimativ în valută:
58.50€ • 68.22$ • 51.36£
58.50€ • 68.22$ • 51.36£
Carte tipărită la comandă
Livrare economică 16-30 ianuarie 26
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 27 mm
Greutate: 0.73 kg
Ediția:2007
Editura: Springer
Locul publicării:Berlin, Heidelberg, Germany
ISBN-10: 3540724826
Pagini: 484
Ilustrații: VII, 472 p.
Dimensiuni: 155 x 235 x 27 mm
Greutate: 0.73 kg
Ediția:2007
Editura: Springer
Locul publicării:Berlin, Heidelberg, Germany
Public țintă
ResearchCuprins
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.