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