Handbook of Model Checking
Editat de Roderick Bloem et al.
8 iun 2018
Hardback
Preț: 1043.33 lei 1304.16 lei
18-23 zile | 6-12 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ț: 347.17 lei 433.97 lei
3-5 săpt.
-20%