Validation of Stochastic Systems
Editat de Christel Baier et al.
11 aug 2004
Paperback
Preț: 385.79 lei
6-8 săpt.
Cărți de Holger Hermanns
Process Algebra and Probabilistic Methods: Performance Modeling and Verification
Editat de Holger Hermanns et al.
10 iul 2002
Paperback
Preț: 371.04 lei
6-8 săpt.
Interactive Markov Chains
Autor Holger Hermanns
11 sep 2002
Paperback
Preț: 371.27 lei
6-8 săpt.
Computer Aided Verification
Editat de Werner Damm et al.
2 iul 2007
Paperback
Preț: 335.68 lei 419.59 lei
6-8 săpt.
-20%