Welcome to Loot.co.za! Sign in / Register |Wishlists & Gift Vouchers |Help | Advanced search

Checkout
- Your Cart Price

Your cart

Your cart is empty

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,577

Discovery Miles 15 770

Repayment Terms: R148 pm x 12*

Add to cart

Formal Methods for Performance Evaluation - 7th International School on Formal Methods for the Design of Computer,...

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.)

Marco Bernardo, Jane Hillston

Series: Programming and Software Engineering, 4486

(sign in to rate)

Loot Price R1,577 Discovery Miles 15 770 | Repayment Terms: R148 pm x 12*

Expected to ship within 10 - 15 working days

Description
Details
Customer Reviews

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

Imprint:	Springer-Verlag
Country of origin:	Germany
Series:	Programming and Software Engineering, 4486
Release date:	May 2007
First published:	2007
Editors:	Marco Bernardo • Jane Hillston
Dimensions:	235 x 155 x 28mm (L x W x T)
Format:	Paperback
Pages:	472
Edition:	2007 ed.
ISBN-13:	978-3-540-72482-7
Categories:	Books > Computing & IT > General theory of computing > General Books > Computing & IT > Applications of computing > General Promotions
LSN:	3-540-72482-6
Barcode:	9783540724827