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's publisher is recorded as International Thomson Computer Press^[5].
• Formal Specification and Documentation Using Z's ISBN-13 is recorded as 978-1-85032-230-6^[6].
• Formal Specification and Documentation Using Z's OCLC number is recorded as 34763106^[7].
• Formal Specification and Documentation Using Z's publication date is recorded as +1996-00-00T00:00:00Z^[8].
• Formal Specification and Documentation Using Z's Open Library ID is recorded as OL11919585M^[9].
• Formal Specification and Documentation Using Z's Internet Archive ID is recorded as formalspecificat0000bowe^[10].
• Formal Specification and Documentation Using Z's main subject is recorded as formal specification^[11].
• Formal Specification and Documentation Using Z's main subject is recorded as Z notation^[12].
• Formal Specification and Documentation Using Z's main subject is recorded as documentation^[13].
• Formal Specification and Documentation Using Z's ISBN-10 is recorded as 1-85032-230-9^[14].
• Formal Specification and Documentation Using Z's number of pages is recorded as {'unit': 'http://www.wikidata.org/entity/Q1069725', 'amount': '+302'}^[15].
• Formal Specification and Documentation Using Z's title is recorded as Formal Specification and Documentation Using Z^[16].

Body

Works and Contributions

Formal Specification and Documentation Using Z authored Jonathan Bowen^[2].