Logics of Specification Languages Monographs in Theoretical Computer Science. An EATCS Series Editat de Dines Bjørner et al. 22 noi 2010 Paperback Preț: 965.46 lei 1206.81 lei 6-8 săpt. -20%