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 /

Bewaard in:
Bibliografische gegevens
Hoofdauteur: Ed Brinksma, Holger Hermanns, Joost-Pieter Katoen (edición)
Formaat: Boek
Taal:Engels
Gepubliceerd in: Berlín, Alemania : Springer, 2001, c2001
Reeks:(Lecture Notes in Computer Science)
Online toegang:Ver documento en línea
Tags: Voeg label toe
Geen labels, Wees de eerste die dit record labelt!