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