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 Nicolas Halbwachs
Tools and Algorithms for the Construction and Analysis of Systems
Editat de Nicolas Halbwachs et al.
23 mar 2005
Paperback
Preț: 637.87 lei 797.35 lei
43-57 zile
-20%