Vdm'87: Vdm-A Formal Method at Workde D. BjornerMateriasDevelopmentComputer software industryCongressesComputer softwareEdiciones (1)Vdm'87: Vdm-A Formal Method at Work (1987)Springer · inglés · ISBN 9780387176543Más obras de D. BjornerVDM '90Abstract Software SpecificationsVer todas las obras de D. Bjorner →