Computer Aided Verification
Editat de Thomas Ball et al.
8 aug 2006
Paperback
Preț: 638.43 lei 798.03 lei
43-57 zile
-20%
Cărți editura Springer
Symbolic Simulation Methods for Industrial Formal Verification
Autor Robert B. Jones
23 oct 2012
Paperback
Preț: 612.50 lei 720.59 lei
43-57 zile
-15%