Logic for Programming, Artificial Intelligence, and Reasoning
Editat de Edmund M. Clarke et al.
4 ian 2011
Paperback
Preț: 347.17 lei 433.97 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.