Computer Aided Verification: Fourth International Workshop, CAV '92, Montreal, Canada, June 29 - July 1, 1992. Proceedings
Editat de Gregor von Bochmann et al.
30 mar 1993
Paperback
Preț: 339.66 lei 424.58 lei
6-8 săpt.
-20%
Cărți de David K. Probst