Catalogo · 9783540458043
Interactive Markov Chains
ISBN 9783540458043
Descrizione non disponibile per questo libro.
La tua libreria
Accedi per aggiungere questo libro alla tua libreria.
Lettori
Communitas attorno al libro
Letture affini
Validation of stochastic systems
Christel Baier, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen, Markus Siegle
Tools and Algorithms for the Construction and Analysis of Systems
Holger Hermanns, Jens Palsberg
Process Algebra and Probabilistic Methods : Performance Modeling and Verification
Holger Hermanns, Roberto Segala
Measurement, Modelling and Evaluation of Computing Systems
Holger Hermanns
Lectures on Formal Methods and Performance Analysis
Ed Brinksma, Holger Hermanns, Joost-Pieter Katoen
CONCUR 2006 - Concurrency Theory
Christel Baier, Holger Hermanns
Computer Aided Verification
Werner Damm, Holger Hermanns
Verba volant · scripta manent