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ț: 427.33 lei 534.17 lei 6-8 săpt. -20%
