Unfoldings: A Partial-Order Approach to Model Checking Monographs in Theoretical Computer Science. An EATCS Series Autor Javier Esparza et al. 30 noi 2010 Paperback Preț: 615.32 lei 769.14 lei 43-57 zile -20%
