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