Larch: Languages and Tools for Formal Specification Monographs in Computer Science S.J. Garland et al. oct 2011 Paperback Preț: 331.25 lei 414.07 lei 6-8 săpt. -20%
mural: A Formal Development Support System Autor C. B. Jones et al. 29 mai 1991 Paperback Preț: 342.46 lei 428.07 lei 6-8 săpt. -20%