Verification of Sequential and Concurrent Programs Texts in Computer Science Autor Krzysztof R. Apt et al. 14 mar 2012 Paperback Preț: 546.95 lei 683.69 lei 6-8 săpt. -20%