Handbook of Model Checking
Editat de Roderick Bloem et al.
8 iun 2018
Hardback
Preț: 1011.51 lei 1264.39 lei
17-23 zile | 7-13 zile
-20%
Cărți de Edmund M. Clarke
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%
Computer-Aided Verification
Editat de Edmund M. Clarke et al.
2 oct 1991
Paperback
Preț: 381.74 lei
6-8 săpt.