Rigorous State-Based Methods Editat de Silvia Bonfanti et al. 21 iun 2024 Paperback Preț: 489.22 lei 611.52 lei 43-57 zile -20%
Rigorous State-Based Methods Lecture Notes in Computer Science Editat de Michael Leuschel et al. sep 2025 Paperback Preț: 838.38 lei 1047.97 lei 38-44 zile -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 43-57 zile | 5-11 zile -20%
Integrated Formal Methods Editat de Michael Leuschel et al. 2 feb 2009 Paperback Preț: 325.25 lei 406.57 lei 43-57 zile -20%