Formal Specification and Documentation Using Z
1996 book by Jonathan Bowen
Press Enter · cited answer in seconds
0 sources
Formal Specification and Documentation Using Z
Summary
Formal Specification and Documentation Using Z is a non-fiction work[1].
Key Facts
- Formal Specification and Documentation Using Z authored Jonathan Bowen[2].
- Formal Specification and Documentation Using Z's instance of is recorded as non-fiction work[3].
- Formal Specification and Documentation Using Z's instance of is recorded as version, edition or translation[4].
- Formal Specification and Documentation Using Z was published by International Thomson Computer Press[5].
- Formal Specification and Documentation Using Z was published on 1996[6].
- Formal Specification and Documentation Using Z's main subject is formal specification[7].
- Formal Specification and Documentation Using Z's main subject is Z notation[8].
- Formal Specification and Documentation Using Z's main subject is documentation[9].
- Formal Specification and Documentation Using Z's number of pages is recorded as {'unit': 'http://www.wikidata.org/entity/Q1069725', 'amount': '+302'}[10].
- Formal Specification and Documentation Using Z's title is recorded as Formal Specification and Documentation Using Z[11].
Body
Authorship and Creation
Formal Specification and Documentation Using Z authored Jonathan Bowen[2]. It was published by International Thomson Computer Press[5].
Publication
Formal Specification and Documentation Using Z was published on 1996[6].
Subject and Themes
Main subjects include formal specification[7], Z notation[8], and documentation[9].