Computer Aided Verification: 6th International Conference, CAV '94, Stanford, California, USA, June 21-23, 1994. Proceedings
Editat de David L. Dill
iun 1994
Paperback
Preț: 329.25 lei 411.55 lei
6-8 săpt.
-20%
Cărți de David L. Dill