Automated Technology for Verification and Analysis
Editat de Cyrille Artho et al.
22 sep 2016
Paperback
Preț: 348.02 lei 435.02 lei
6-8 săpt.
-20%
Cărți de Cyrille Artho
Formal Techniques for Safety-Critical Systems
Editat de Cyrille Artho et al.
2 feb 2019
Paperback
Preț: 322.28 lei 402.84 lei
6-8 săpt.
-20%