Verification: Theory and Practice Editat de Nachum Dershowitz 24 feb 2004 Paperback Preț: 649.68 lei 812.11 lei 6-8 săpt. -20%
Logic for Programming, Artificial Intelligence, and Reasoning Editat de Nachum Dershowitz et al. 8 oct 2007 Paperback Preț: 336.49 lei 420.61 lei 6-8 săpt. -20%
Pillars of Computer Science Editat de Arnon Avron et al. 8 feb 2008 Paperback Preț: 644.98 lei 806.23 lei 6-8 săpt. -20%
Language, Culture, Computation: Computing - Theory and Technology Editat de Nachum Dershowitz et al. 27 noi 2014 Paperback Preț: 338.53 lei 423.15 lei 6-8 săpt. -20%