Logic for Programming, Artificial Intelligence, and Reasoning
Editat de Edmund M. Clarke et al.
4 ian 2011
Paperback
Preț: 333.82 lei 417.28 lei
3-5 săpt.
-20%
Cărți de Edmund M. Clarke
Computer-Aided Verification
Editat de Edmund M. Clarke et al.
2 oct 1991
Paperback
Preț: 381.74 lei
6-8 săpt.