Modeling Companion for Software Practitioners Autor Egon Börger et al. 10 apr 2018 Paperback Preț: 236.01 lei 295.01 lei 3-5 săpt. | 6-12 zile -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.56 lei 404.45 lei 6-8 săpt. -20%
Rigorous State-Based Methods: 8th International Conference, ABZ 2021, Ulm, Germany, June 9–11, 2021, Proceedings Lecture Notes in Computer Science, nr. 12709 Editat de Alexander Raschke et al. 23 mai 2021 Paperback Preț: 369.12 lei 461.40 lei 6-8 săpt. -20%
Rigorous State-Based Methods: 7th International Conference, ABZ 2020, Ulm, Germany, May 27–29, 2020, Proceedings Lecture Notes in Computer Science, nr. 12071 Editat de Alexander Raschke et al. 15 mai 2020 Paperback Preț: 326.71 lei 408.39 lei 6-8 săpt. -20%
Abstract State Machines, Alloy, B, TLA, VDM, and Z: 6th International Conference, ABZ 2018, Southampton, UK, June 5–8, 2018, Proceedings Lecture Notes in Computer Science, nr. 10817 Editat de Michael Butler et al. 8 mai 2018 Paperback Preț: 327.02 lei 408.78 lei 6-8 săpt. -20%