Dependable Software Engineering. Theories, Tools, and Applications
Editat de Holger Hermanns et al.
15 dec 2023
Paperback
Preț: 521.94 lei 652.44 lei
6-8 săpt.
-20%
Cărți de Holger Hermanns
Lectures on Formal Methods and Performance Analysis
Editat de Ed Brinksma et al.
29 aug 2001
Paperback
Preț: 329.51 lei 411.90 lei
6-8 săpt.
-20%
Validation of Stochastic Systems
Editat de Christel Baier et al.
11 aug 2004
Paperback
Preț: 386.97 lei
6-8 săpt.
Tools and Algorithms for the Construction and Analysis of Systems: 12th International Conference, TACAS 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25 - April 2, 2006, Proceedings
Editat de Holger Hermanns et al.
15 mar 2006
Paperback
Preț: 330.68 lei 413.35 lei
6-8 săpt.
-20%
Process Algebra and Probabilistic Methods: Performance Modeling and Verification
Editat de Holger Hermanns et al.
10 iul 2002
Paperback
Preț: 372.18 lei
6-8 săpt.
CONCUR 2006 - Concurrency Theory: 17th International Conference, CONCUR 2006, Bonn, Germany, August 27-30, 2006
Editat de Christel Baier et al.
10 aug 2006
Paperback
Preț: 633.83 lei 792.28 lei
6-8 săpt.
-20%
Interactive Markov Chains
Autor Holger Hermanns
11 sep 2002
Paperback
Preț: 372.42 lei
6-8 săpt.
Computer Aided Verification
Editat de Werner Damm et al.
2 iul 2007
Paperback
Preț: 336.71 lei 420.88 lei
6-8 săpt.
-20%
Measurement, Modelling and Evaluation of Computing Systems
Editat de Holger Hermanns
6 mar 2020
Paperback
Preț: 322.16 lei 402.70 lei
6-8 săpt.
-20%