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: 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%
Validation of Stochastic Systems
Editat de Christel Baier et al.
11 aug 2004
Paperback
Preț: 385.79 lei
43-57 zile
Model-Based Testing of Reactive Systems
Editat de Manfred Broy et al.
27 iun 2005
Paperback
Preț: 339.14 lei 423.92 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ț: 331.38 lei 414.22 lei
43-57 zile
-20%
Dependable Software Engineering. Theories, Tools, and Applications: 5th International Symposium, SETTA 2019, Shanghai, China, November 27–29, 2019, Proceedings
Editat de Nan Guan et al.
10 noi 2019
Paperback
Preț: 313.10 lei 391.37 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: Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday
Editat de Joost-Pieter Katoen et al.
29 sep 2017
Paperback
Preț: 324.81 lei 406.00 lei
43-57 zile
-20%