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
Dostupnost:
Skladem u dodavatele
Odesíláme za 5-8 dnů
1 147
Kč
Traditionally, models and methods for the analysis of the functional correctness of reactive systems...
