Formal methods for performance evaluation
Subtitle: 7th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2007, Bertinoro, Italy, May 28 - June 2, 2007 ; advanced lectures
By: Marco Bernardo, Jane Hillston (eds.).
Contributors: Bernardo, Marco.; Hillston, J. 1963-
Series: Lecture notes in computer science -- 4486.; Tutorial
Publisher: Springer
Published: 2007
Place of publication: Berlin
Language: eng
Number of pages: 467
ISBN-13: 9783540724827
Subjects: Formal methods (Computer science) -- Congresses.; Integrated circuits -- Verification -- Congresses.
Genres: Congresses.
Other titles: SFM 2007.
Notes: Lectures.

Includes bibliographical references and author index.

Also issued online.