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
Elérhetőség:
Beszállítói készleten
Küldés 5-8 napon belül
19 327
Ft
Traditionally, models and methods for the analysis of the functional correctness of reactive systems...
