Lectures on Formal Methods and Performance Analysis
de Ed Brinksma, Holger Hermanns, Joost-Pieter Katoen
Ediciones (2)
- Lectures on Formal Methods and Performance Analysis (2003)
Springer London, Limited · inglés · ISBN 9783540446675
- Lectures on formal methods and performance analysis (2001)
Springer · inglés
