Computer Aided Verification
Editat de Thomas Ball et al.
8 aug 2006
Paperback
Preț: 636.45 lei 795.57 lei
6-8 săpt.
-20%
Cărți de Thomas Ball
Model Checking Software
Editat de Thomas Ball et al.
28 apr 2003
Paperback
Preț: 319.15 lei 398.93 lei
6-8 săpt.
-20%