Handbook of Model Checking
Editat de Roderick Bloem et al.
8 iun 2018
Hardback
Preț: 801.11 lei 1092.18 lei
Indisponibil temporar
-27%
Cărți de Thomas A. Henzinger
Computational Methods in Systems Biology
Editat de Ashutosh Gupta et al.
19 aug 2013
Paperback
Preț: 391.49 lei
43-57 zile
Mathematical and Engineering Methods in Computer Science
Editat de Antonin Kucera et al.
9 ian 2013
Paperback
Preț: 331.19 lei 413.99 lei
43-57 zile
-20%
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
22-36 zile
-20%
Computer Science Logic
Editat de Jacques Duparc et al.
30 aug 2007
Paperback
Preț: 665.80 lei 832.26 lei
43-57 zile
-20%
Embedded Software
Editat de Thomas A. Henzinger et al.
26 sep 2001
Paperback
Preț: 345.05 lei 431.32 lei
43-57 zile
-20%
Hybrid Systems: Computation and Control
Editat de Thomas A. Henzinger et al.
25 mar 1998
Paperback
Preț: 342.29 lei 427.86 lei
43-57 zile
-20%
Hybrid Systems III
Editat de Rajeev Alur et al.
24 apr 1996
Paperback
Preț: 666.87 lei 833.58 lei
43-57 zile
-20%