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
6-8 săpt. | 7-13 zile
-20%
Cărți de Michael Leuschel
Integrated Formal Methods
Editat de Michael Leuschel et al.
2 feb 2009
Paperback
Preț: 325.25 lei 406.57 lei
6-8 săpt.
-20%
Rigorous State-Based Methods
Editat de Michael Leuschel et al.
sep 2025
Paperback
Preț: 839.03 lei 1048.78 lei
38-45 zile
-20%
Rigorous State-Based Methods: 10th International Conference, ABZ 2024, Bergamo, Italy, June 25–28, 2024, Proceedings
Editat de Silvia Bonfanti et al.
21 iun 2024
Paperback
Preț: 489.53 lei 611.91 lei
6-8 săpt.
-20%