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 28 - June 2, 2007 ; advanced lectures /

Bibliographic Details
Corporate Authors:	International School on Formal Methods for the Design of Computer, Communication, and Software Systems Bertinoro, Italy, SpringerLink (Online service)
Other Authors:	Bernardo, Marco, Hillston, J. (Jane), 1963-
Format:	Conference Proceeding eBook
Language:	English
Published:	Berlin ; New York : Springer, [2007]
Series:	Lecture notes in computer science ; 4486. Lecture notes in computer science. Tutorial.
Subjects:	Formal methods (Computer science) > Congresses. Integrated circuits > Verification > Congresses. Electronic books.
Online Access:	Connect to the full text of this electronic book

Available Online