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ț: 552.39 lei 690.49 lei 6-8 săpt. -20%
