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. 30 apr 2002 Hardback Preț: 635.15 lei 793.94 lei 6-8 săpt. -20%
