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%
ZB 2002: Formal Specification and Development in Z and B Editat de Didier Bert et al. 16 ian 2002 Paperback Preț: 334.04 lei 417.55 lei 6-8 săpt. -20%