Computer Aided Verification
Editat de Nicolas Halbwachs et al.
23 iun 1999
Paperback
Preț: 333.62 lei 417.03 lei
6-8 săpt.
-20%
Cărți de Doron Peled
Automated Technology for Verification and Analysis
Editat de Cyrille Artho et al.
22 sep 2016
Paperback
Preț: 334.63 lei 418.29 lei
6-8 săpt.
-20%