Abstract State Machines 2003: Advances in Theory and Practice Editat de Egon Börger et al. 21 feb 2003 Paperback Preț: 328.72 lei 410.90 lei 6-8 săpt. -20%
Abstract State Machines, Alloy, B, VDM, and Z Editat de John Derrick et al. 12 iun 2012 Paperback Preț: 326.07 lei 407.59 lei 6-8 săpt. | 6-10 zile -20%
Rigorous State-Based Methods: 10th International Conference, ABZ 2024, Bergamo, Italy, June 25–28, 2024, Proceedings Lecture Notes in Computer Science, nr. 14759 Editat de Silvia Bonfanti et al. 21 iun 2024 Paperback Preț: 489.53 lei 611.91 lei 6-8 săpt. -20%
Logic, Computation and Rigorous Methods: Essays Dedicated to Egon Börger on the Occasion of His 75th Birthday Lecture Notes in Computer Science, nr. 12750 Editat de Alexander Raschke et al. 4 iun 2021 Paperback Preț: 323.41 lei 404.26 lei 6-8 săpt. -20%