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 / Marco Bernardo, Jane Hillston (eds.)

By:

Contributor(s):

Material type: Text

TextSeries: Lecture notes in computer science ; 4486.Publication details: Berlin : Springer, 2007.Description: vi, 467 p. : ill. ; 24 cmISBN:

Other title:

Subject(s):

Online resources:

Available additional physical forms:

Tags from this library: No tags from this library for this title. Log in to add tags.

Average rating: 0.0 (0 votes)

Holdings
Item type	Current library	Call number	Copy number	Status	Date due	Barcode
Open Shelf	UMPLIB PEKAN	QA76.9.F67 I58 2007 (Browse shelf(Opens below))	1	Available		0000031748

Lectures.

Includes bibliographical references and index.

Online version also available.