Formal Modeling and Analysis of Timed Systems
Editat de Paul Pettersson et al.
13 dec 2005
Paperback
Preț: 322.19 lei 402.73 lei
6-8 săpt.
-20%
Cărți de Wang Yi
Dependable Software Engineering: Theories, Tools, and Applications: First International Symposium, SETTA 2015, Nanjing, China, November 4-6, 2015, Proceedings
Editat de Xuandong Li et al.
27 oct 2015
Paperback
Preț: 321.81 lei 402.26 lei
6-8 săpt.
-20%
Tools and Algorithms for the Construction and Analysis of Systems: 7th International Conference, TACAS 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2-6, 2001 Proceedings
Editat de Tiziana Margaria et al.
21 mar 2001
Paperback
Preț: 654.44 lei 818.06 lei
6-8 săpt.
-20%
Model Checking, Synthesis, and Learning: Essays Dedicated to Bengt Jonsson on The Occasion of His 60th Birthday
Editat de Ernst-Rüdiger Olderog et al.
22 noi 2021
Paperback
Preț: 389.41 lei 486.76 lei
3-5 săpt. | 7-13 zile
-20%