Automated Technology for Verification and Analysis
Editat de Cyrille Artho et al.
22 sep 2016
Paperback
Preț: 334.63 lei 418.29 lei
43-57 zile
-20%
Cărți de Cyrille Artho
Formal Techniques for Safety-Critical Systems
Editat de Cyrille Artho et al.
16 feb 2017
Paperback
Preț: 314.86 lei 393.57 lei
43-57 zile
-20%