Model Checking
Autor Edmund M. Clark Jr. et al.
20 dec 2018
Hardback
Preț: 460.13 lei 575.17 lei
3-5 săpt. | 4-10 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ț: 348.57 lei 435.71 lei
3-5 săpt.
-20%
Computer Aided Verification: 25th International Conference, CAV 2013, Saint Petersburg, Russia, July 13-19, 2013, Proceedings
Editat de Natasha Sharygina et al.
14 iul 2013
Paperback
Preț: 682.08 lei 852.60 lei
6-8 săpt.
-20%
Logic for Programming, Artificial Intelligence, and Reasoning: 15th International Conference, LPAR 2008, Doha, Qatar, November 22-27, 2008, Proceedings
Editat de Iliano Cervesato et al.
13 noi 2008
Paperback
Preț: 667.42 lei 834.28 lei
6-8 săpt.
-20%
25 Years of Model Checking: History, Achievements, Perspectives
Editat de Orna Grumberg et al.
17 iun 2008
Paperback
Preț: 229.45 lei 286.81 lei
6-8 săpt.
-20%
Handbook of Model Checking
Editat de Edmund M. Clarke et al.
8 iun 2018
Hardback
Preț: 716.12 lei 976.29 lei
Indisponibil temporar
-27%