25 Years of Model Checking: History, Achievements, Perspectives
Editat de Orna Grumberg et al.
17 iun 2008
Paperback
Preț: 220.45 lei 275.56 lei
6-8 săpt.
-20%
Cărți de Helmut Veith
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ț: 641.62 lei 802.03 lei
6-8 săpt.
-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ț: 335.29 lei 419.11 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ț: 655.70 lei 819.62 lei
6-8 săpt.
-20%
Handbook of Model Checking
Editat de Edmund M. Clarke et al.
8 iun 2018
Hardback
Preț: 1011.14 lei 1263.93 lei
17-23 zile | 6-10 zile
-20%