Rigorous State-Based Methods: 10th International Conference, ABZ 2024, Bergamo, Italy, June 25–28, 2024, Proceedings
Editat de Silvia Bonfanti et al.
21 iun 2024
Paperback
Preț: 448.72 lei 527.91 lei
6-8 săpt.
-15%
Cărți de Elvinia Riccobene
Logic, Computation and Rigorous Methods: Essays Dedicated to Egon Börger on the Occasion of His 75th Birthday
Editat de Alexander Raschke et al.
4 iun 2021
Paperback
Preț: 336.21 lei 420.26 lei
6-8 săpt.
-20%
Abstract State Machines, Alloy, B, VDM, and Z: Third International Conference, ABZ 2012, Pisa, Italy, June 18-21, 2012. Proceedings
Editat de John Derrick et al.
12 iun 2012
Paperback
Preț: 338.68 lei 423.35 lei
6-8 săpt.
-20%
Abstract State Machines 2003: Advances in Theory and Practice: 10th International Workshop, ASM 2003, Taormina, Italy, March 3-7, 2003. Proceedings
Editat de Egon Börger et al.
21 feb 2003
Paperback
Preț: 340.98 lei 426.22 lei
6-8 săpt.
-20%