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 6-8 săpt. -20%