Computer Aided Verification Editat de Gerard Berry et al. 4 iul 2001 Paperback Preț: 635.74 lei 794.67 lei 6-8 săpt. -20%
Compiling Esterel Autor Dumitru Potop-Butucaru et al. 4 noi 2010 Paperback Preț: 910.71 lei 1110.62 lei 6-8 săpt. -18%