Formal Description of Programming Concepts IFIP State-of-the-Art Reports Editat de Erich J. Neuhold et al. 4 oct 1991 Hardback Preț: 659.57 lei 824.46 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ț: 368.92 lei 461.15 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ț: 204.70 lei 255.87 lei 6-8 săpt. -20%