Handbook of Model Checking Editat de Edmund M. Clarke et al. 8 iun 2018 Hardback Preț: 877.88 lei 1097.36 lei 17-23 zile | 5-11 zile -20%
Logic for Programming, Artificial Intelligence, and Reasoning: 16th International Conference, LPAR-16, Dakar, Senegal, April 25--May 1, 2010, Revised Selected Papers Lecture Notes in Computer Science, nr. 6355 Editat de Edmund M. Clarke et al. 4 ian 2011 Paperback Preț: 326.34 lei 407.93 lei 3-5 săpt. -20%
Computer-Aided Verification: 2nd Internatonal Conference, CAV '90, New Brunswick, NJ, USA, June 18-21, 1990. Proceedings Lecture Notes in Computer Science, nr. 531 Editat de Edmund M. Clarke et al. 2 oct 1991 Paperback Preț: 373.08 lei 6-8 săpt.