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