The BiblioNest. Curate your collection, your way.
© 2026 Ann Mathenge · Built with love, coffee, and cat hair.
Lectures on Formal Methods and Performance Analysis
By Ed Brinksma, Holger Hermanns, Joost-Pieter Katoen
No synopsis available.
Published
2003
Format
-
Pages
434
Language
English
ISBN
9783540446675
