Foundations of Probabilistic Programming
Editat de Gilles Barthe et al.
2 dec 2020
Hardback
Preț: 422.09 lei 527.61 lei
22-36 zile | 5-11 zile
-20%
Cărți de Joost-Pieter Katoen
CONCUR 2011 -- Concurrency Theory: 22nd International Conference, CONCUR 2011, Aachen, Germany, September 6-9, 2011, Proceedings
Editat de Joost-Pieter Katoen et al.
26 aug 2011
Paperback
Preț: 335.29 lei 419.11 lei
22-36 zile
-20%
Lectures on Formal Methods and Performance Analysis
Editat de Ed Brinksma et al.
29 aug 2001
Paperback
Preț: 329.51 lei 411.90 lei
43-57 zile
-20%
Validation of Stochastic Systems
Editat de Christel Baier et al.
11 aug 2004
Paperback
Preț: 386.97 lei
43-57 zile
Model-Based Testing of Reactive Systems
Editat de Manfred Broy et al.
27 iun 2005
Paperback
Preț: 340.17 lei 425.22 lei
43-57 zile | 5-11 zile
-20%
Tools and Algorithms for the Construction and Analysis of Systems
Editat de Joost-Pieter Katoen et al.
20 mar 2002
Paperback
Preț: 332.39 lei 415.48 lei
43-57 zile
-20%
Dependable Software Engineering. Theories, Tools, and Applications
Editat de Nan Guan et al.
10 noi 2019
Paperback
Preț: 314.81 lei 393.51 lei
43-57 zile
-20%
Formal Methods: 25th International Symposium, FM 2023, Lübeck, Germany, March 6–10, 2023, Proceedings
Editat de Marsha Chechik et al.
3 mar 2023
Paperback
Preț: 638.44 lei 798.05 lei
43-57 zile
-20%
ModelEd, TestEd, TrustEd
Editat de Joost-Pieter Katoen et al.
29 sep 2017
Paperback
Preț: 327.48 lei 409.36 lei
43-57 zile
-20%