Logics of Specification Languages Monographs in Theoretical Computer Science. An EATCS Series Editat de Dines Bjørner et al. 7 dec 2007 Hardback Preț: 976.07 lei 1220.09 lei 6-8 săpt. -20%