Blog
About

16
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 

      Language-free mathematical methods for software design extended abstract

      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 references 2

          • Record: found
          • Abstract: not found
          • Article: not found

          Predicate logic for software engineering

           D.L. Parnas (1993)
            Bookmark
            • Record: found
            • Abstract: not found
            • Conference Proceedings: not found

            Towards a formal semantics of Parnas tables

              Bookmark

              Author and book information

              Book
              978-3-540-60271-2
              978-3-540-44782-5
              1995
              10.1007/3-540-60271-2
              Book Chapter
              1995
              June 1 2005
              : 2-4
              10.1007/3-540-60271-2_109

              Comments

              Comment on this book

              Book chapters

              Similar content 2,424

              Cited by 1