Principles of Model Checking The MIT Press Autor Christel Baier et al. 2 iun 2008 Hardback Preț: 772.98 lei 1314.41 lei 3-4 săpt. -41%