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
Carte tipărită la comandă
Livrare economică 07-21 iulie
Livrare prin curier în România Termenul estimat este afișat lângă disponibilitate.
Transport gratuit de la 400.00 lei Plată online sau ramburs, în funcție de opțiunile comenzii.
Retur gratuit în 14 zile Comandă securizată și suport în română.
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ț: 561.50 lei701.88 lei -
Enterprise Content and Search Management for Building Digital PlatformsShailesh Kumar Shivakumar-20%Preț: 493.61 lei617.00 lei -
Spock: Up and RunningRob Fletcher-20%Preț: 340.43 lei425.53 lei -
Tragic DesignJonathan Shariat-20%Preț: 181.81 lei227.26 lei -
Thoughtful Machine Learning with PythonMatthew Kirk-20%Preț: 244.61 lei305.76 lei -
This is Service Design DoingMarc Stickdorn-20%Preț: 246.08 lei307.59 lei -
Karau, H: High Performance SparkHolden Karau-20%Preț: 233.24 lei291.55 lei -
Practical TableauRyan Sleeper-20%Preț: 314.11 lei392.64 lei -
A Course in Mathematical CryptographyGilbert Baumslag-20%Preț: 323.07 lei403.83 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.