\(
\def\WIPO{World Intellectual Property Organisation}
\)
Information technology - Open Document Architecture (ODA) and interchange format : Part 10 : formal specifications / International Organization For Standardization/international Electrotechnical Commission (iso/iec).
1995
D 70 ISO/IEC.I 1995 4
Disponible à WIPO Library
Formats
| Format | |
|---|---|
| BibTeX | |
| MARCXML | |
| TextMARC | |
| MARC | |
| DataCite | |
| DublinCore | |
| EndNote | |
| NLM | |
| RefWorks | |
| RIS |
Articles
Détails
Title
Information technology - Open Document Architecture (ODA) and interchange format : Part 10 : formal specifications / International Organization For Standardization/international Electrotechnical Commission (iso/iec).
Mention d'édition
Second edition.
Description
iv, 361 pages ; [28] cm
Alternate Call Number
D 70 ISO/IEC.I 1995 4
Note
Supplier : ISO/IEC Copyright Office, Geneva; Recd 13/10/95; Contents : 1. Scope; 2. Normative references; 3. Definitions; 4. Syntax and semantics of the speficiation language; 5. Structure of the formal specifications; 6. Commonly used definitions; 7. Formal specification of the document structures; 8. Formal specification of the document profile; 9. Formal specification of the character content architectures; 10. Formal specification of the raster graphics content architectures; 11. Formal specification of the geometric graphics content architectures; 12. Formal specification of the defaulting mechanism for defaultable attributes; 13. Index of predicate symbols, operator symbols and attribute names; Annex A. Tutorial on the specification language;.
Published
Geneva [Switzerland] : Iso/Iec, 1995.
Langue
Anglais
Le document apparaît dans