Integrated Formal Methods: 9th International Conference, IFM 2012, Pisa, Italy, June 18-21, 2012. Proceedings
Editat de John Derrick et al.
6 iun 2012
Paperback
Preț: 324.19 lei 405.23 lei
43-57 zile
-20%
Cărți de John Derrick
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%