Übersicht			Auf mobile öffnen

Lieferstatus:	i.d.R. innert 5-10 Tagen versandfertig
Veröffentlichung:	Mai 2007
Genre:	EDV / Informatik
	Automata / Calculus / communicationsystemsdesign / Compiler und Übersetzer / Computer / formalmethod / formalmethods / formalspecification / graphpartitioning / loadbalancing / modelchecking / Modeling / Netzwerk-Hardware / performanceanalysis / performancemodeling / Petrinet / Qualitätssicherung / Sicherung / Qualitätssicherung / Software Engineering / Theoretische Informatik / UnifiedModelingLanguage(UML) mehr...
ISBN:	9783540724827
EAN-Code:	9783540724827
Verlag:	Springer
Einband:	Kartoniert
Sprache:	English
Serie:	#4486 - Lecture Notes in Computer Science Programming and Software Engineering
Dimensionen:	H 235 mm / B 155 mm / D 27 mm
Gewicht:	727 gr
Seiten:	484
Bewertung:	Titel bewerten / Meinung schreiben

Inhalt:

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.