Filtre: Holger Hermanns

Cărți editura Springer

Validation of Stochastic Systems

Editat de Christel Baier et al.

11 aug 2004

Preț: 386^.97 lei

6-8 săpt.

Process Algebra and Probabilistic Methods: Performance Modeling and Verification

Editat de Holger Hermanns et al.

10 iul 2002

Preț: 372^.18 lei

6-8 săpt.

Interactive Markov Chains

Autor Holger Hermanns

11 sep 2002

Preț: 372^.42 lei

6-8 săpt.

Computer Aided Verification

Editat de Werner Damm et al.

2 iul 2007

Preț: 336^.71 lei 420^.88 lei

6-8 săpt.

-20%