Lectures on Formal Methods and Performance Analysis: First EEF/Euro Summer School on Trends in Computer Science: First Eef/Euro Summer School on ... Notes in Computer Science, Band 2090)

Analysis

von: Ed Brinksma · Holger Hermanns · Joost-Pieter Katoen

Taschenbuch

ISBN-13: 978-3-540-42479-6

ISBN-10: 3-540-42479-2

Springer · 2001