Decision Procedures Texts in Theoretical Computer Science. An EATCS Series Autor Daniel Kroening et al. 13 iul 2018 Paperback Preț: 339.28 lei 424.11 lei 6-8 săpt. -20%
Hardware and Software: Verification and Testing Editat de Sharon Barner et al. 17 mar 2011 Paperback Preț: 317.47 lei 396.84 lei 6-8 săpt. -20%