Formal Description Techniques VIII Editat de Gregor von Bochmann et al. 31 ian 1996 Hardback Preț: 1215.98 lei 1482.90 lei 6-8 săpt. -18%
Computer Aided Verification Editat de Gregor von Bochmann et al. 30 mar 1993 Paperback Preț: 329.35 lei 411.69 lei 6-8 săpt. -20%
Testing of Communicating Systems Editat de Hasan Ural et al. 24 iul 2012 Paperback Preț: 1278.99 lei 1598.73 lei 6-8 săpt. -20%