Verification of Sequential and Concurrent Programs Texts in Computer Science Autor Krzysztof R. Apt et al. 14 mar 2012 Paperback Preț: 522.08 lei 652.60 lei 43-57 zile -20%