Formal Description of Programming Concepts IFIP State-of-the-Art Reports Editat de Erich J. Neuhold et al. 4 oct 1991 Hardback Preț: 670.88 lei 838.59 lei 6-8 săpt. -20%
Abstract Software Specifications: 1979 Copenhagen Winter School, January 22 - February 2, 1979. Proceedings Lecture Notes in Computer Science, nr. 86 Editat de D. Bjorner iun 1980 Paperback Preț: 375.22 lei 469.02 lei 6-8 săpt. -20%
The Vienna Development Method: The Meta-Language Lecture Notes in Computer Science, nr. 61 Editat de D. Bjorner et al. mai 1978 Paperback Preț: 208.23 lei 260.28 lei 6-8 săpt. -20%