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 43-57 zile -20%