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