Handbook of Model Checking
Editat de Edmund M. Clarke et al.
8 iun 2018
Hardback
Preț: 1010.37 lei 1262.96 lei
17-23 zile | 5-11 zile
-20%
Cărți de Thomas A. Henzinger
Formal Modeling and Analysis of Timed Systems: 8th International Conference, FORMATS 2010, Klosterneuburg, Austria, September 8-10, 2010, Proceedings
Editat de Krishnendu Chatterjee et al.
30 aug 2010
Paperback
Preț: 319.42 lei 399.28 lei
3-5 săpt.
-20%