Larch: Languages and Tools for Formal Specification Monographs in Computer Science Autor John V. Guttag et al. oct 2011 Paperback Preț: 344.83 lei 431.04 lei 6-8 săpt. -20%