Lectures on formal methods and performance analysis : first EEF/Euro summer school on trends in computer science, Berg en Dal, the Netherlands, July 3-7, 2000 : revised lectures Ed Brinksma, Holger Hermanns, Joost-Pieter Katoen (eds.)

By:

Contributor(s):

Publication details: Berlin Springer c2001Description: vi, 429 p. : ill. ; 24 cmISBN:

ISSN:

Subject(s):

DDC classification:

Item type: Books

Tags from this library: No tags from this library for this title.

Average rating: 0.0 (0 votes)

Holdings
Current library	Call number	Status	Date due	Barcode
Anna Centenary Library	004.0151 BRI (Browse shelf(Opens below))	Available		263853

Includes bibliographical references and index

There are no comments on this title.

to post a comment.

Find us on the map