Practical Aspects of Declarative Languages Editat de Shriram Krishnamurthi et al. 9 ian 2002 Paperback Preț: 325.44 lei 406.80 lei 6-8 săpt. -20%
Tools and Algorithms for the Construction and Analysis of Systems Editat de C. R. Ramakrishnan et al. 18 mar 2008 Paperback Preț: 334.47 lei 418.08 lei 6-8 săpt. -20%
Model Checking Software Editat de Ezio Bartocci et al. 19 iul 2013 Paperback Preț: 326.68 lei 408.36 lei 6-8 săpt. -20%