Computer Aided Verification: 13th International Conference, CAV 2001, Paris, France, July 18-22, 2001. Proceedings
Editat de Gerard Berry et al.
4 iul 2001
Paperback
Preț: 632.09 lei 790.11 lei
6-8 săpt.
-20%
Cărți de Gerard Berry
Compiling Esterel
Autor Dumitru Potop-Butucaru et al.
4 noi 2010
Paperback
Preț: 910.71 lei 1110.62 lei
6-8 săpt.
-18%
Compiling Esterel
Autor Dumitru Potop-Butucaru et al.
10 mai 2007
Hardback
Preț: 915.63 lei 1116.62 lei
6-8 săpt.
-18%