Automated Theorem Proving in Software Engineering Autor Johann M. Schumann et al. 20 iun 2001 Hardback Preț: 327.66 lei 409.58 lei 43-57 zile -20%