Rigorous State-Based Methods
Editat de Michael Leuschel et al.
sep 2025
Paperback
Preț: 838.38 lei 1047.97 lei
38-44 zile
-20%
Cărți de Michael Leuschel
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%
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%