|
Books > Computing & IT > General theory of computing
|
Buy Now
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 (Paperback, 2007 ed.)
Loot Price: R1,459
Discovery Miles 14 590
|
|
|
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 (Paperback, 2007 ed.)
Series: Programming and Software Engineering, 4486
Expected to ship within 18 - 22 working days
|
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 coveres several aspects of the field, including
formalisms for performance modeling (Markov chains, queueing
networks, stochastic Petri nets, and stochastic process algebras),
equivalence checking and model checking, efficient solution
techniques, and software performance engineering.
General
Is the information for this product incomplete, wrong or inappropriate?
Let us know about it.
Does this product have an incorrect or missing image?
Send us a new image.
Is this product missing categories?
Add more categories.
Review This Product
No reviews yet - be the first to create one!
|
You might also like..
|
Welcome to Loot.co.za!
Sign in / Register |Wishlists & Gift Vouchers |Help | Advanced search
(1)
