Shelfclass_id |
3.D.1 |
Sortkey |
EEF |
Authors |
Editors: Ed Brinksma, Holger Hermanns, Joost-Pieter Katoen |
Title |
EEF 2000: 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 |
Publisher |
Springer |
Year |
2001 |
Languages |
eng |
Isbn |
3540424792, 9783540424796 |
Series |
Lecture Notes in Computer Science |
Volume |
2090 |
Issn |
0302-9743 |
Description |
vi, 429 p. ill. 24 cm |
Record date |
20110325 |
Location |
New York |
Keywords |
Formal methods (Computer science) |
Urlnote |
Publisher description |
Urls |
http://www.loc.gov/catdir/enhancements/fy0813/2001049290-d.html |