Compositional Verification of Concurrent and Real-Time Systems Autor Eric Y T Juan et al. 30 apr 2002 Hardback Preț: 669.25 lei 836.56 lei 43-57 zile -20%
