Decision Procedures: An Algorithmic Point of View Texts in Theoretical Computer Science. An EATCS Series Autor Daniel Kroening et al. 23 mai 2008 Hardback Preț: 418.72 lei 523.39 lei 43-57 zile -20%
