Automated Theorem Proving in Software Engineering Autor Johann M. Schumann et al. 20 iun 2001 Hardback Preț: 324.86 lei 406.08 lei 6-8 săpt. -20%