Filtre: Springer Verlag GmbH

Cărți de Holger Hermanns

Validation of Stochastic Systems

Editat de Christel Baier et al.

11 aug 2004

Preț: 385^.79 lei

43-57 zile

Process Algebra and Probabilistic Methods: Performance Modeling and Verification

Editat de Holger Hermanns et al.

10 iul 2002

Preț: 371^.04 lei

43-57 zile

Interactive Markov Chains

Autor Holger Hermanns

11 sep 2002

Preț: 371^.27 lei

43-57 zile

Computer Aided Verification

Editat de Werner Damm et al.

2 iul 2007

Preț: 335^.68 lei 419^.59 lei

43-57 zile

-20%