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ț: 327.58 lei 409.48 lei 6-8 săpt. -20%