Formal Methods for Industrial Critical Systems
Editat de Anne Remke et al.
28 sep 2025
Paperback
Preț: 391.79 lei 489.73 lei
17-23 zile | 7-11 zile
-20%
Cărți de Anne Remke
Computer Performance Engineering
Editat de Josu Doncel et al.
13 feb 2025
Paperback
Preț: 328.01 lei 410.00 lei
38-44 zile
-20%
Quantitative Evaluation of Systems: 17th International Conference, QEST 2020, Vienna, Austria, August 31 – September 3, 2020, Proceedings
Editat de Marco Gribaudo et al.
3 noi 2020
Paperback
Preț: 320.72 lei 400.90 lei
6-8 săpt.
-20%
Distributed Applications and Interoperable Systems: 20th IFIP WG 6.1 International Conference, DAIS 2020, Held as Part of the 15th International Federated Conference on Distributed Computing Techniques, DisCoTec 2020, Valletta, Malta, June 15–19, 2020, Proceedings
Editat de Anne Remke et al.
7 iun 2020
Paperback
Preț: 316.28 lei 395.35 lei
6-8 săpt.
-20%
Computer Performance Engineering: 15th European Workshop, EPEW 2018, Paris, France, October 29-30, 2018, Proceedings
Editat de Rena Bakhshi et al.
3 oct 2018
Paperback
Preț: 319.13 lei 398.90 lei
6-8 săpt.
-20%
Measurement, Modelling and Evaluation of Dependable Computer and Communication Systems: 18th International GI/ITG Conference, MMB & DFT 2016, Münster, Germany, April 4-6, 2016, Proceedings
Editat de Anne Remke et al.
24 mar 2016
Paperback
Preț: 316.28 lei 395.35 lei
6-8 săpt.
-20%
Analytical and Stochastic Modelling Techniques and Applications
Editat de Marco Gribaudo et al.
6 mai 2015
Paperback
Preț: 317.50 lei 396.88 lei
6-8 săpt.
-20%
Stochastic Model Checking: International Autumn School, ROCKS 2012, Vahrn, Italy, October 22-26, 2012. Advanced Lectures
Editat de Anne Remke et al.
31 oct 2014
Paperback
Preț: 319.42 lei 399.28 lei
6-8 săpt.
-20%