Verification: Theory and Practice
Editat de Nachum Dershowitz
24 feb 2004
Paperback
Preț: 647.67 lei 809.59 lei
43-57 zile
-20%
Cărți de Nachum Dershowitz
Logic for Programming, Artificial Intelligence, and Reasoning
Editat de Nachum Dershowitz et al.
8 oct 2007
Paperback
Preț: 335.46 lei 419.32 lei
43-57 zile
-20%
Pillars of Computer Science
Editat de Arnon Avron et al.
8 feb 2008
Paperback
Preț: 642.98 lei 803.73 lei
43-57 zile
-20%
Language, Culture, Computation: Computing - Theory and Technology
Editat de Nachum Dershowitz et al.
27 noi 2014
Paperback
Preț: 337.48 lei 421.86 lei
43-57 zile
-20%