Location & Availability for: Lectures on formal methods and performan

 Staff view

You must be logged in to Tag Records

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.).

Book Cover
Names: Brinksma, Ed. | Hermanns, Holger, | Katoen, Joost-Pieter.
Published: Berlin ; Springer, c2001.
Series: Lecture notes in computer science, 2090
Topics: Formal methods (Computer science) - Congresses.
Tags: Add


Spaces will separate tags.
Use quotes for multi-word tags.


Loading Holdings Data ... Loading

Location & Availability for: Lectures on formal methods and performan