Handbook of Model Checking
Editat de Roderick Bloem et al.
8 iun 2018
Hardback
Preț: 775.46 lei 1057.20 lei
Indisponibil temporar
-27%
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%