Unfoldings: A Partial-Order Approach to Model Checking Monographs in Theoretical Computer Science. An EATCS Series Autor Javier Esparza et al. 27 mar 2008 Hardback Preț: 621.01 lei 776.27 lei 43-57 zile -20%
