Programmverifikation: Sequentielle, parallele und verteilte Programme Springer-Lehrbuch Autor Krzysztof R. Apt et al. 21 mar 1994 Paperback Preț: 231.97 lei 289.97 lei 6-8 săpt. -20%