M00009772
New product
INFORMATION TECHNOLOGY - Z FORMAL SPECIFICATION NOTATION - SYNTAX, TYPE SYSTEM AND SEMANTICS
Canadian Standards Association
In stock
Warning: Last items in stock!
Availability date: 10/28/2021
Foreword<br>Introduction<br>1 Scope<br>2 Normative references<br>3 Terms and definitions<br>4 Metalanguages<br>5 Conformance<br>6 Z characters<br>7 Lexis<br>8 Concrete syntax<br>9 Characterisation rules<br>10 Annotated syntax<br>11 Prelude<br>12 Syntactic transformation rules<br>13 Type inference rules<br>14 Semantic transformation rules<br>15 Semantic relations<br>Annex A (normative) - Mark-ups<br>Annex B (normative) - Mathematical toolkit<br>Annex C (normative) - Organisation by concrete syntax <br> production<br>Annex D (informative) - Tutorial<br>Annex E (informative) - Conventions for state-based <br> descriptions<br>Bibliography<br>Index
Defines: - the syntax of the Z notation; - the type system of the Z notation; - the semantics of the Z notation; - a toolkit of widely used mathematical operators; - LATEX [10] and e-mail mark-ups of the Z notation.
Published | |
Document Type | Standard |
Status | Current |
Publisher | Canadian Standards Association |
ProductNote | Reconfirmed EN |
Pages | |
ISBN |