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 /

Bibliographic Details
Corporate Author: EEF/Euro Summer School on Trends in Computer Science Berg en Dal, Netherlands
Other Authors: Brinksma, Ed, Hermanns, Holger, 1967-, Katoen, Joost-Pieter
Format: Conference Proceeding Book
Language:English
Published: Berlin ; New York : Springer, [2001]
Series:Lecture notes in computer science ; 2090.
Subjects:
Description
Physical Description:vi, 429 pages : illustrations ; 24 cm.
Also available via the World Wide Web.
Bibliography:Includes bibliographical references and index.
ISBN:3540424792
9783540424796
ISSN:0302-9743 ;