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/creator | EEF/Euro Summer School on Trends in Computer Science 2000 : Berg en Dal, Netherlands) |
| Other author/creator | Brinksma, Ed. |
| Other author/creator | Hermanns, Holger, 1967- |
| Other author/creator | Katoen, Joost-Pieter. |
| Format | Electronic, Book, and Print |
| Publication Info | Berlin ; New York : Springer, ©2001. |
| Description | vi, 429 pages : illustrations ; 24 cm. |
| Supplemental Content | Restricted to Springer LINK subscribers |
| Subject(s) |
Click here for more information about this title
| Series | Lecture notes in computer science ; 2090 Lecture notes in computer science 2090. ^A466336 |
| Bibliography note | Includes bibliographical references and index. |
| Other forms | Also available via the World Wide Web. |
| LCCN | 2001049290 |
| ISBN | 3540424792 (pbk. : alk. paper) |
Available Items
| Library | Location | Call Number | Status | Item Actions | |
| Joyner | General Stacks | QA76.9.F67 E34 2000 | ✔ Available | Place Hold |