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%