Handbook of Model Checking Editat de Roderick Bloem et al. 8 iun 2018 Hardback Preț: 1011.51 lei 1264.39 lei 17-23 zile | 4-10 zile -20%
Computer Science Logic: 24th International Workshop, CSL 2010, 19th Annual Conference of the EACSL, Brno, Czech Republic, August 23-27, 2010, Proceedings Lecture Notes in Computer Science, nr. 6247 Editat de Anuj Dawar et al. 11 aug 2010 Paperback Preț: 335.29 lei 419.11 lei 3-5 săpt. -20%
25 Years of Model Checking Editat de Orna Grumberg et al. 17 iun 2008 Paperback Preț: 221.80 lei 277.24 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 Lecture Notes in Computer Science, nr. 5330 Editat de Iliano Cervesato et al. 13 noi 2008 Paperback Preț: 641.62 lei 802.03 lei 6-8 săpt. -20%
Computer Aided Verification Editat de Natasha Sharygina et al. 14 iul 2013 Paperback Preț: 661.78 lei 827.23 lei 6-8 săpt. -20%