Formal Description Techniques VIII Editat de Gregor von Bochmann et al. 31 ian 1996 Hardback Preț: 1168.94 lei 1425.54 lei 43-57 zile -18%
Computer Aided Verification Editat de Gregor von Bochmann et al. 30 mar 1993 Paperback Preț: 329.35 lei 411.69 lei 43-57 zile -20%
Testing of Communicating Systems Editat de Hasan Ural et al. 31 aug 2000 Hardback Preț: 1220.64 lei 1525.81 lei 43-57 zile -20%