Concurrency Verification: Introduction to Compositional and Non-compositional Methods Cambridge Tracts in Theoretical Computer Science, nr. 54 Autor Willem-Paul de Roever et al. 25 ian 2012 Paperback Preț: 542.23 lei 677.79 lei 43-57 zile -20%
