000020816 000__ 02124cam\a22003255i\4500 000020816 001__ 20816 000020816 003__ SzGeWIPO 000020816 005__ 20210318104820.0 000020816 008__ 950923s1995\\\\sz\\\\\\r\\\\u000\0\eng\d 000020816 035__ $$a(wipo)(CD )95/0923* 000020816 035__ $$a(OCoLC)1160937641 000020816 040__ $$aSzGeWIPO$$beng$$erda$$cSzGeWIPO$$dCaBNVSL 000020816 084__ $$aD 70 ISO/IEC.I 1995 4 000020816 090__ $$c22416$$d22416 000020816 1102_ $$aInternational Organization For Standardization/international Electrotechnical Commission (ISO/IEC),$$eissuing body. 000020816 24510 $$aInformation technology - Open Document Architecture (ODA) and interchange format :$$bPart 10 : formal specifications /$$cInternational Organization For Standardization/international Electrotechnical Commission (iso/iec). 000020816 250__ $$aSecond edition. 000020816 264_1 $$aGeneva [Switzerland] :$$bIso/Iec,$$c1995. 000020816 300__ $$aiv, 361 pages ;$$c[28] cm 000020816 336__ $$atext$$btxt$$2rdacontent 000020816 337__ $$aunmediated$$bn$$2rdamedia 000020816 338__ $$avolume$$bnc$$2rdacarrier 000020816 500__ $$aSupplier : 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;. 000020816 650_0 $$aCopyright. 000020816 650_4 $$aINFORMATION SCIENCE (DOCUMENTATION) : AUTOMATED INFORMATION PROCESSING TOOLS : GENERAL STUDIES 000020816 650_4 $$aISO/IEC : INFORMATION TECHNOLOGY : INTERNATIONAL STANDARD 000020816 903_0 $$aISO/IEC 8613-10:1995(E)$$v1 000020816 942__ $$cMON 000020816 952__ $$w2006-11-03$$p1995-0923*$$r0.00$$u32184$$bMAIN$$10$$kD 70 ISO/IEC.I 1995 4$$v1995-09-23$$zLibrary$$70 000020816 980__ $$aBIB 000020816 999__ $$c22416$$d22416