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
30 iun 2002
Hardback
Preț: 659.45 lei 775.82 lei
43-57 zile
-15%