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
43-57 zile
-20%
Cărți de Holger Hermanns
Dependable Software Engineering. Theories, Tools, and Applications: 9th International Symposium, SETTA 2023, Nanjing, China, November 27–29, 2023, Proceedings
Editat de Holger Hermanns et al.
15 dec 2023
Paperback
Preț: 518.44 lei 648.05 lei
43-57 zile
-20%
Validation of Stochastic Systems
Editat de Christel Baier et al.
11 aug 2004
Paperback
Preț: 385.79 lei
43-57 zile
Interactive Markov Chains
Autor Holger Hermanns
11 sep 2002
Paperback
Preț: 371.27 lei
43-57 zile
Process Algebra and Probabilistic Methods: Performance Modeling and Verification
Editat de Holger Hermanns et al.
10 iul 2002
Paperback
Preț: 371.04 lei
43-57 zile
Lectures on Formal Methods and Performance Analysis: First EEF/Euro Summer School on Trends in Computer Science Berg en Dal, The Netherlands, July 3-7, 2000. Revised Lectures
Editat de Ed Brinksma et al.
29 aug 2001
Paperback
Preț: 341.16 lei 426.45 lei
43-57 zile
-20%
Computer Aided Verification
Editat de Werner Damm et al.
2 iul 2007
Paperback
Preț: 335.68 lei 419.59 lei
43-57 zile
-20%
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
43-57 zile
-20%
Measurement, Modelling and Evaluation of Computing Systems: 20th International GI/ITG Conference, MMB 2020, Saarbrücken, Germany, March 16–18, 2020, Proceedings
Editat de Holger Hermanns
6 mar 2020
Paperback
Preț: 319.92 lei 399.90 lei
43-57 zile
-20%