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