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ț: 428.75 lei 535.93 lei 3-5 săpt. -20%
