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%
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%
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%
Formal Methods for Components and Objects: 8th International Symposium, FMCO 2009, Eindhoven, The Netherlands, November 4-6, 2009. Revised Selected Papers Lecture Notes in Computer Science, nr. 6286 Editat de Frank S. de Boer et al. 4 ian 2011 Paperback Preț: 322.61 lei 403.26 lei 22-36 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%