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