Handbook of Model Checking
Editat de Edmund M. Clarke et al.
8 iun 2018
Hardback
Preț: 1010.37 lei 1262.96 lei
17-24 zile | 6-12 zile
-20%
Cărți de Helmut Veith
Computer Science Logic: 24th International Workshop, CSL 2010, 19th Annual Conference of the EACSL, Brno, Czech Republic, August 23-27, 2010, Proceedings
Editat de Anuj Dawar et al.
11 aug 2010
Paperback
Preț: 335.29 lei 419.11 lei
3-5 săpt.
-20%