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: 6th International Workshop, FTSCS 2018, Gold Coast, Australia, November 16, 2018, Revised Selected Papers
Editat de Cyrille Artho et al.
2 feb 2019
Paperback
Preț: 314.86 lei 393.57 lei
43-57 zile
-20%