Formal Methods for Performance Evaluation
Editat de Marco Bernardo, Jane Hillstonen Limba Engleză Paperback – 18 mai 2007
Preț: 331.59 lei
Preț vechi: 414.49 lei
-20%
Puncte Express: 497
Preț estimativ în valută:
58.63€ • 67.25$ • 50.69£
58.63€ • 67.25$ • 50.69£
Carte tipărită la comandă
Livrare economică 29 aprilie-13 mai
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
V-ar putea interesa
-
Computer Vision: Models, Learning, and InferenceSimon J. D. Prince-20%Preț: 528.19 lei660.24 lei -
Enterprise Content and Search Management for Building Digital PlatformsShailesh Kumar Shivakumar-20%Preț: 484.53 lei605.66 lei -
Spock – Up and RunningRob Fletcher-20%Preț: 333.29 lei416.62 lei -
Tragic DesignJonathan Shariat-20%Preț: 178.59 lei223.23 lei -
Thoughtful Machine Learning with PythonMatthew Kirk-20%Preț: 238.67 lei298.35 lei -
This is Service Design DoingMarc Stickdorn-20%Preț: 245.88 lei307.35 lei -
High Performance SparkHolden Karau-20%Preț: 232.55 lei290.68 lei -
Practical TableauRyan Sleeper-20%Preț: 304.07 lei380.09 lei -
A Course in Mathematical CryptographyGilbert Baumslag-20%Preț: 319.06 lei398.82 lei -
Formal Methods for Executable Software ModelsMarco Bernardo-20%Preț: 324.82 lei406.03 lei -
-20%Preț: 320.72 lei400.90 lei -
Programming SymposiumB. Robinet-20%Preț: 301.71 lei377.13 lei -
Formal Aspects of Cognitive ProcessesT. Storer-20%Preț: 231.53 lei289.42 lei -
-20%Preț: 344.97 lei431.21 lei -
Interval MathematicsK. Nickel-20%Preț: 296.98 lei371.23 lei -
Analysis of Drum and Disk Storage UnitsS. H. Fuller-20%Preț: 235.43 lei294.29 lei -
Data Base SystemsM. Hasselmeier-20%Preț: 113.13 lei141.41 lei -
Komplexität von EntscheidungsproblemenE. Specker-20%Preț: 132.58 lei165.72 lei -
Interactive SystemsA. Blaser-20%Preț: 299.46 lei374.33 lei -
Formal Methods for the Design of Real-Time SystemsMarco Bernardo-20%Preț: 322.59 lei403.23 lei -
-20%Preț: 317.85 lei397.31 lei -
-20%Preț: 333.68 lei417.09 lei -
Formal Methods for Model-Driven EngineeringMarco Bernardo-20%Preț: 329.74 lei412.17 lei
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.