Formal Program Development: IFIP TC2/WG 2.1 State-of-the-Art Report Lecture Notes in Computer Science, nr. 755 Editat de Bernhard Möller et al. 29 noi 1993 Paperback Preț: 330.39 lei 413.00 lei 6-8 săpt. -20%