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ț: 326.72 lei 408.40 lei
6-8 săpt.
-20%
Cărți de Gregor von Bochmann
Testing of Communicating Systems
Editat de Hasan Ural et al.
24 iul 2012
Paperback
Preț: 1225.58 lei 1531.98 lei
6-8 săpt.
-20%