Abstract Software Specificationsde D. BjornerEdiciones (1)Abstract Software Specifications (1982)Springer · inglés · ISBN 9783540100072Más obras de D. BjornerVDM '90Vdm'87: Vdm-A Formal Method at WorkVer todas las obras de D. Bjorner →