Rigorous State-Based Methods Lecture Notes in Computer Science, nr. 12071 Editat de Alexander Raschke et al. 15 mai 2020 Paperback Preț: 329.35 lei 411.69 lei 6-8 săpt. -20%
Logic, Computation and Rigorous Methods Lecture Notes in Computer Science, nr. 12750 Editat de Alexander Raschke et al. 4 iun 2021 Paperback Preț: 325.83 lei 407.29 lei 6-8 săpt. -20%
Rigorous State-Based Methods Lecture Notes in Computer Science, nr. 12709 Editat de Alexander Raschke et al. 23 mai 2021 Paperback Preț: 370.90 lei 463.62 lei 6-8 săpt. -20%
Abstract State Machines, Alloy, B, TLA, VDM, and Z Lecture Notes in Computer Science, nr. 10817 Editat de Michael Butler et al. 8 mai 2018 Paperback Preț: 329.74 lei 412.17 lei 6-8 săpt. -20%
Modeling Companion for Software Practitioners Autor Egon Börger et al. 10 apr 2018 Paperback Preț: 405.44 lei 506.80 lei 6-8 săpt. -20%