Program Verification: Fundamental Issues in Computer Science Studies in Cognitive Systems, nr. 14 Editat de Timothy T.R. Colburn et al. 31 ian 1993 Hardback Preț: 1880.74 lei 2350.92 lei 6-8 săpt. -20%