25 Years of Model Checking Editat de Orna Grumberg et al. 17 iun 2008 Paperback Preț: 230.77 lei 288.47 lei 6-8 săpt. -20%
Computer Aided Verification Editat de Natasha Sharygina et al. 14 iul 2013 Paperback Preț: 688.37 lei 860.46 lei 6-8 săpt. -20%