Rigorous State-Based Methods Lecture Notes in Computer Science, nr. 15728 Editat de Michael Leuschel et al. sep 2025 Paperback Preț: 839.32 lei 1049.15 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 6-8 săpt. -20%
Abstract State Machines, Alloy, B, VDM, and Z Editat de John Derrick et al. 12 iun 2012 Paperback Preț: 327.07 lei 408.84 lei 6-8 săpt. | 4-10 zile -20%
Integrated Formal Methods Editat de Michael Leuschel et al. 2 feb 2009 Paperback Preț: 326.26 lei 407.83 lei 6-8 săpt. -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 3-5 săpt. -20%