Pre-Owned Lecture Notes in Computer Science: 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

Pre-Owned Lecture Notes in Computer Science: 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

Traditionally models and methods for the analysis of the functional correctness of reactive systems and those for the analysis of their performance (and - pendability) aspects have been studied by di?erent research communities. This has resulted in...


Walmart

$64.04
Free Delivery

Go to store
Items per page