Compositionality: The Significant Difference Editat de Willem-Paul De Roever et al. 18 dec 1998 Paperback Preț: 668.35 lei 835.44 lei 43-57 zile -20%
Formal Methods for Industrial Applications Editat de Jean-Raymond Abrial et al. 30 oct 1996 Paperback Preț: 635.35 lei 794.19 lei 43-57 zile -20%
VDM '90. VDM and Z - Formal Methods in Software Development Editat de Dines Bjørner et al. 4 apr 1990 Paperback Preț: 351.22 lei 439.02 lei 43-57 zile -20%
1. Fachtagung über Programmiersprachen Lecture Notes in Economics and Mathematical Systems, nr. 75 Editat de Hans Langmaack et al. 30 oct 1972 Paperback Preț: 350.72 lei 438.39 lei 43-57 zile -20%