Foundations of Probabilistic Programming
Editat de Gilles Barthe et al.
2 dec 2020
Hardback
Preț: 377.35 lei 471.68 lei
3-5 săpt. | 10-14 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ț: 338.63 lei 423.29 lei
3-5 săpt.
-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ț: 645.09 lei 806.36 lei
6-8 săpt.
-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ț: 316.20 lei 395.25 lei
6-8 săpt.
-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ț: 328.04 lei 410.05 lei
6-8 săpt.
-20%
Model-Based Testing of Reactive Systems: Advanced Lectures
Editat de Manfred Broy et al.
27 iun 2005
Paperback
Preț: 339.91 lei 424.88 lei
6-8 săpt.
-20%
Validation of Stochastic Systems: A Guide to Current Research
Editat de Christel Baier et al.
11 aug 2004
Paperback
Preț: 387.40 lei
6-8 săpt.
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ț: 332.70 lei 415.87 lei
6-8 săpt.
-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ț: 344.57 lei 430.71 lei
6-8 săpt.
-20%