Foundations of Probabilistic Programming
Editat de Gilles Barthe et al.
2 dec 2020
Hardback
Preț: 377.37 lei 471.71 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ț: 346.02 lei 432.52 lei
22-36 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ț: 659.22 lei 824.03 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ț: 323.09 lei 403.85 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ț: 335.18 lei 418.97 lei
43-57 zile
-20%
Model-Based Testing of Reactive Systems: Advanced Lectures
Editat de Manfred Broy et al.
27 iun 2005
Paperback
Preț: 347.32 lei 434.14 lei
43-57 zile
-20%
Validation of Stochastic Systems: A Guide to Current Research
Editat de Christel Baier et al.
11 aug 2004
Paperback
Preț: 395.82 lei
43-57 zile
Tools and Algorithms for the Construction and Analysis of Systems: 8th International Conference, TACAS 2002, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002, Grenoble, France, April 8-12, 2002. Proceedings
Editat de Joost-Pieter Katoen et al.
20 mar 2002
Paperback
Preț: 339.94 lei 424.92 lei
43-57 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ț: 352.08 lei 440.10 lei
43-57 zile
-20%