Advanced Search
    THE CONTRASTS BETWEEN VDM AND ZJ. Journal of Computer Research and Development, 1996, 33(11).
    Citation: THE CONTRASTS BETWEEN VDM AND ZJ. Journal of Computer Research and Development, 1996, 33(11).
    shu

    THE CONTRASTS BETWEEN VDM AND Z

      Graphical Abstract
      • Abstract
    • in this paper, the contrasts between VDM and Z are presented by means of a relative database specification. The main features of these specification languages are discussed in detail.
      • FullText(HTML)
    • loading
      • References (0)
      • Related Articles

    Catalog

      Turn off MathJax
      Article Contents
      Email Alert RSS

      /

      DownLoad:  Full-Size Img  PowerPoint
      Return
      Return