Model Checking
Autor Edmund M. Clark Jr. et al.
20 dec 2018
Hardback
Preț: 460.13 lei 575.16 lei
3-5 săpt. | 6-12 zile
-20%
Cărți de Helmut Veith
Handbook of Model Checking
Editat de Edmund M. Clarke et al.
8 iun 2018
Hardback
Preț: 877.87 lei 1097.34 lei
17-24 zile | 6-12 zile
-20%
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ț: 338.63 lei 423.29 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ț: 662.54 lei 828.18 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ț: 648.30 lei 810.38 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ț: 222.84 lei 278.55 lei
6-8 săpt.
-20%