25
views
0
recommends
+1 Recommend
0 collections
    0
    shares
      • Record: found
      • Abstract: not found
      • Book Chapter: not found
      ZUM '95: The Z Formal Specification Notation 

      Exploring specifications with Mathematica

      other
      Springer Berlin Heidelberg

      Read this book at

      Buy book Bookmark
          There is no author summary for this book yet. Authors can add summaries to their books on ScienceOpen to make them more accessible to a non-specialist audience.

          Related collections

          Most cited references1

          • Record: found
          • Abstract: not found
          • Book Chapter: not found

          Tutorial lecture notes on the Irish School of the VDM

            Bookmark

            Author and book information

            Book Chapter
            1995
            June 1 2005
            : 408-420
            10.1007/3-540-60271-2_133
            ddfc7f55-c603-45d2-9e10-ee7b357f584f
            History

            Comments

            Comment on this book

            Book chapters

            Similar content2,248

            Cited by2