-27% Lecture Notes in Computer Science Lectures on Formal Methods and Performance Analysis: First Eef/Euro Summer School on Trends in Computer Science Berg En Book 2090 (Paperback)

Lecture Notes in Computer Science Lectures on Formal Methods and Performance Analysis: First Eef/Euro Summer School on Trends in Computer Science Berg En Book 2090 (Paperback)

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

$77.28 $56.14
Free Delivery

Go to store
Items per page