Theoretical Aspects of Computing - ICTAC 2009
Editat de Martin Leucker et al.
29 iul 2009
Paperback
Preț: 325.83 lei 407.29 lei
6-8 săpt.
-20%
Cărți de Martin Leucker
Model-Based Testing of Reactive Systems
Editat de Manfred Broy et al.
27 iun 2005
Paperback
Preț: 340.17 lei 425.22 lei
6-8 săpt. | 10-14 zile
-20%
Runtime Verification
Editat de Martin Leucker
23 oct 2008
Paperback
Preț: 317.04 lei 396.30 lei
6-8 săpt.
-20%
Formal Methods: Applications and Technology
Editat de Lubos Brim et al.
20 feb 2007
Paperback
Preț: 326.05 lei 407.56 lei
6-8 săpt.
-20%
Runtime Verification
Editat de Christian Colombo et al.
8 noi 2018
Paperback
Preț: 496.17 lei 620.21 lei
6-8 săpt.
-20%
Formal Methods in Outer Space
Editat de Ezio Bartocci et al.
28 sep 2021
Paperback
Preț: 344.91 lei 431.14 lei
6-8 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ț: 638.44 lei 798.05 lei
6-8 săpt.
-20%
Theoretical Aspects of Computing - ICTAC 2015
Editat de Martin Leucker et al.
25 dec 2015
Paperback
Preț: 339.79 lei 424.74 lei
6-8 săpt.
-20%