Foundations of Probabilistic Programming
Editat de Gilles Barthe et al.
2 dec 2020
Hardback
Preț: 377.37 lei 471.71 lei
3-5 săpt. | 7-13 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ț: 348.57 lei 435.71 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ț: 664.11 lei 830.14 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ț: 325.48 lei 406.84 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ț: 337.66 lei 422.07 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ț: 349.88 lei 437.35 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ț: 398.74 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ț: 342.46 lei 428.07 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ț: 354.68 lei 443.35 lei
6-8 săpt.
-20%