Wikidata

(Q105938709)

English

Formal Specification and Documentation Using Z

1996 book

  • Formal Specification and Documentation Using Z: A Case Study Approach
In more languages

Statements

title
Formal Specification and Documentation Using Z (British English)
subtitle
A Case Study Approach (British English)
0 references
main subject
formal specification
0 references
Z notation
0 references
documentation
0 references
author
Jonathan Bowen
0 references
publication date
1996
0 references
number of pages
302 page
0 references

Identifiers

ISBN-13
978-1-850-32230-6
0 references
 
edit
    edit
      edit
        edit
          edit
            edit
              edit
                edit
                  edit
                    Retrieved from "https://www.wikidata.org/w/index.php?title=Q105938709&oldid=2034116140"