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