Compositional Verification of Concurrent and Real-Time Systems Autor Eric Y T Juan et al. 30 apr 2002 Hardback Preț: 636.56 lei 795.70 lei 6-8 săpt. -20%
