Andere Kunden interessierten sich auch für
![Quantitative Evaluation of Systems]( "Quantitative Evaluation of Systems")
Quantitative Evaluation of Systems37,99 €![Formal Modeling and Analysis of Timed Systems]( "Formal Modeling and Analysis of Timed Systems")
Formal Modeling and Analysis of Timed Systems36,99 €![Horizons of the Mind. A Tribute to Prakash Panangaden]( "Horizons of the Mind. A Tribute to Prakash Panangaden")
Horizons of the Mind. A Tribute to Prakash Panangaden37,99 €![Reachability Problems]( "Reachability Problems")
Reachability Problems36,99 €![Descriptional Complexity of Formal Systems]( "Descriptional Complexity of Formal Systems")
Descriptional Complexity of Formal Systems37,99 €![Application and Theory of Petri Nets and Concurrency]( "Application and Theory of Petri Nets and Concurrency")
Application and Theory of Petri Nets and Concurrency37,99 €![Runtime Verification]( "Runtime Verification")
Runtime Verification37,99 €
This book constitutes the proceedings of the 12th International Conference on Quantitative Evaluation of Systems, QEST 2015, held in Madrid, Spain, in September 2015. The 19 papers presented were carefully reviewed and selected from 42 submissions. They are organized in topical sections named: modelling and applications; tools; petri nets, process algebra and fault trees; applications; and queuing systems and hybrid systems. The book also contains one full-paper invited talk.