Specification and Transformation of Programs: A Formal Approach to Software Development Springer Texts in Electrical Engineering Autor Helmut A. Partsch 5 iul 1990 Paperback Preț: 329.91 lei 412.39 lei 6-8 săpt. -20%