Computer Aided Verification
Editat de Nicolas Halbwachs et al.
23 iun 1999
Paperback
Preț: 332.60 lei 415.75 lei
43-57 zile
-20%
Cărți de Doron Peled
Automated Technology for Verification and Analysis: 14th International Symposium, ATVA 2016, Chiba, Japan, October 17-20, 2016, Proceedings
Editat de Cyrille Artho et al.
22 sep 2016
Paperback
Preț: 331.48 lei 414.35 lei
43-57 zile
-20%