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 /

Saved in:
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: Book (Paper)
Published: Berlin ; New York : Springer, c2001.
Series:Lecture notes in computer science, 2090
Subjects:
Tags: Add Tag
No Tags, Be the first to tag this record!
Institutions: Thư viện Trường Đại học Đà Lạt