More Details 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.


Meeting Name: EEF/Euro Summer School on Trends in Computer Science (1st : 2000 : Berg en Dal, Netherlands)
Physical Description: vi, 429 p. : ill. ; 24 cm.
Includes: Includes bibliographical references and index.
ISBN: 3540424792 (pbk. : alk. paper)
Series: Lecture notes in computer science, 2090 0302-9743 ;
Other Names: Brinksma, Ed.
Hermanns, Holger, 1967-
Katoen, Joost-Pieter.
Loading SummaryLoading

More Details for: Lectures on formal methods and performan