Proof in VDM: A Practitioner’s Guide Formal Approaches to Computing and Information Technology (FACIT) Autor Juan C. Bicarregui et al. dec 1993 Paperback Preț: 326.94 lei 408.67 lei 6-8 săpt. -20%