Research Catalog

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

Title: 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.).
Author: EEF/Euro Summer School on Trends in Computer Science (1st : 2000 : Berg en Dal, Netherlands)
Publication: Berlin ; New York : Springer, c2001.

Items in the Library & Off-site

Filter by

1 Item

Item details
Status	Format	Access	Call Number	Item Location
Request for On-site Use Request Scan How do I pick up this item and when will it be ready?	Text	Request in advance	JSE 01-1743	Offsite

Details

Additional Authors

Description

vi, 429 p. : ill.; 24 cm.

Series Statement

Lecture notes in computer science, 0302-9743 ; 2090

Subject

Formal methods (Computer science) > Congresses

Bibliography (note)

Includes bibliographical references and index.

Additional Formats (note)

Also available via the World Wide Web.

Call Number

JSE 01-1743

ISBN

3540424792 (pbk. : alk. paper)

LCCN

2001049290

OCLC

47705627

Conference

EEF/Euro Summer School on Trends in Computer Science (1st : 2000 : Berg en Dal, Netherlands)

Title

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

Imprint

Berlin ; New York : Springer, c2001.

Series

Lecture notes in computer science, 0302-9743 ; 2090

Bibliography

Includes bibliographical references and index.

Additional Formats

Also available via the World Wide Web.

Added Author

Brinksma, Ed.

Hermanns, Holger, 1967-

Katoen, Joost-Pieter.

Research Call Number

JSE 01-1743

View in Legacy Catalog