\(
\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
Available at WIPO Library
Items
Details
Title
Information technology - Open Document Architecture (ODA) and interchange format : Part 10 : formal specifications / International Organization For Standardization/international Electrotechnical Commission (iso/iec).
Edition
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;.
Series
Published
Geneva [Switzerland] : Iso/Iec, 1995.
Language
English
Record Appears in
all