Specification and Transformation of Programs: A Formal Approach to Software Development Monographs in Computer Science Autor Helmut A. Partsch 5 iul 1990 Hardback Preț: 357.48 lei 446.85 lei 6-8 săpt. -20%