Muutke küpsiste eelistusi

E-raamat: 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

Edited by , Edited by
Teised raamatud teemal:
  • Formaat - PDF+DRM
  • Hind: 55,56 €*
  • * hind on lõplik, st. muud allahindlused enam ei rakendu
  • Lisa ostukorvi
  • Lisa soovinimekirja
  • See e-raamat on mõeldud ainult isiklikuks kasutamiseks. E-raamatuid ei saa tagastada.
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 LecturesSuurem pilt
Teised raamatud teemal:

DRM piirangud

  • Kopeerimine (copy/paste):

    ei ole lubatud

  • Printimine:

    ei ole lubatud

  • Kasutamine:

    Digitaalõiguste kaitse (DRM)
    Kirjastus on väljastanud selle e-raamatu krüpteeritud kujul, mis tähendab, et selle lugemiseks peate installeerima spetsiaalse tarkvara. Samuti peate looma endale  Adobe ID Rohkem infot siin. E-raamatut saab lugeda 1 kasutaja ning alla laadida kuni 6'de seadmesse (kõik autoriseeritud sama Adobe ID-ga).

    Vajalik tarkvara
    Mobiilsetes seadmetes (telefon või tahvelarvuti) lugemiseks peate installeerima selle tasuta rakenduse: PocketBook Reader (iOS / Android)

    PC või Mac seadmes lugemiseks peate installima Adobe Digital Editionsi (Seeon tasuta rakendus spetsiaalselt e-raamatute lugemiseks. Seda ei tohi segamini ajada Adober Reader'iga, mis tõenäoliselt on juba teie arvutisse installeeritud )

    Seda e-raamatut ei saa lugeda Amazon Kindle's. 

This book presents a set of 11 papers accompanying the lectures of leading researchers given at the 7th edition of the International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2007, held in Bertinoro, Italy in May/June 2007.

SFM 2007 was devoted to formal techniques for performance evaluation and covered several aspects of the field.



This book presents a set of 11 papers accompanying the lectures of leading researchers given at the 7th edition of the International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2007, held in Bertinoro, Italy in May/June 2007.SFM 2007 was devoted to formal techniques for performance evaluation and covered several aspects of the field.
Performance Modelling and Markov Chains 1
William J. Stewart
Queueing Networks 34
Simonetta Balsamo and Andrea Marin
Introduction to Generalized Stochastic Petri Nets 83
Gianfranco Balbo
Stochastic Process Algebras 132
Allan Clark, Stephen Gilmore, Jane Hillston, and Mirco Tribastone
A Survey of Markovian Behavioral Equivalences 180
Marco Bernardo
Stochastic Model Checking 220
Marta Kwiatkowska, Gethin Norman, and David Parker
Fluid Models in Performance Analysis 271
Marco Gribaudo and Miklos Telek
Tackling Large State Spaces in Performance Modelling 318
William J. Knottenbelt and Jeremy T. Bradley
Data Representation and Efficient Solution: A Decision Diagram Approach 371
Gianfranco Ciardo
Introduction to Software Performance Engineering: Origins and Outstanding Problems 395
Connie U. Smith
From Annotated Software Designs (UML SPT/MARTE) to Model Formalisms 429
Murray Woodside
Author Index 469
Lisainfo e-raamatute kohta Lisainfo e-raamatute kohta
Püsilink: https://www.kriso.ee/db/97835407252202e.html
Märksõnad: