Handbook of Model Checking
Editat de Roderick Bloem et al.
8 iun 2018
Hardback
Preț: 1011.51 lei 1264.39 lei
17-23 zile | 6-12 zile
-20%
Cărți de Thomas A. Henzinger
Hybrid Systems: Computation and Control
Editat de Thomas A. Henzinger et al.
25 mar 1998
Paperback
Preț: 329.14 lei 411.42 lei
43-57 zile
-20%
Computer Science Logic
Editat de Jacques Duparc et al.
30 aug 2007
Paperback
Preț: 640.08 lei 800.10 lei
43-57 zile
-20%
Mathematical and Engineering Methods in Computer Science
Editat de Antonin Kucera et al.
9 ian 2013
Paperback
Preț: 318.48 lei 398.10 lei
43-57 zile
-20%