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