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ț: 336.54 lei 420.67 lei 6-8 săpt. -20%