Compositional Verification of Concurrent and Real-Time Systems The Springer International Series in Engineering and Computer Science, nr. 676 Autor Eric Y.T. Juan et al. 26 oct 2012 Paperback Preț: 616.88 lei 771.11 lei 6-8 săpt. -20%
