Research Catalog
Lectures on formal methods and performance analysis : first EEF 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 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, 2001.
Available Online
Items in the Library & Off-site
Filter by
1 Item
| Status | Format | Access | Call Number | Item Location |
|---|---|---|---|---|
| Text | Request in advance | QA76.9.F67 E34 2000 | Off-site |
Details
- Additional Authors
- Description
- vi, 429 pages : illustrations; 24 cm.
- Series Statement
- Lecture notes in computer science ; 2090
- Uniform Title
- Lecture notes in computer science ; 2090.
- Subject
- Bibliography (note)
- Includes bibliographical references and index.
- Additional Formats (note)
- Also available via the World Wide Web.
- ISBN
- 3540424792 (pbk. : alk. paper)
- LCCN
- 2001049290
- OCLC
- ocm47705627
- SCSB-4187697
- Owning Institutions
- Columbia University Libraries