From listadm Tue Dec 18 16:35:40 2001 Received: from email1.ansi.org (email1.ansi.org [12.15.192.17]) by dkuug.dk (8.9.2/8.9.2) with ESMTP id QAA52787 for ; Tue, 18 Dec 2001 16:35:40 +0100 (CET) (envelope-from mdeane@ANSI.org) Received: by email1.ansi.org with Internet Mail Service (5.5.2650.21) id ; Tue, 18 Dec 2001 10:35:58 -0500 Message-ID: <2F81C8110D55D411882A0020356797B20110AE56@email1.ansi.org> From: Matthew Deane To: "'SC 22 Distribution List'" Subject: SC 22 N 3355 - Proposed Text for ISO/IEC FDIS 13568, Z Formal Spe cification Notification - Syntax, Type System, and Semantics Date: Tue, 18 Dec 2001 10:35:57 -0500 X-Mailer: Internet Mail Service (5.5.2650.21) ISO/IEC JTC 1/SC22 Programming languages, their environments and system software interfaces Secretariat: U.S.A. (ANSI) ISO/IEC JTC 1/SC22 N3355 TITLE: Proposed Text for ISO/IEC FDIS 13568, Z Formal Specification Notification - Syntax, Type System, and Semantics DATE ASSIGNED: 2001-12-18 SOURCE: Project Editor (I. Toyn) BACKWARD POINTER: N/A DOCUMENT TYPE: Text for FDIS Ballot PROJECT NUMBER: 22.45 STATUS: This text has been sent to ITTF to initiate the letter ballot. The disposition of comments report is contained in SC 22 N3317. This document is located at: http://www.dkuug.dk/jtc1/sc22/def/n3355.pdf ACTION IDENTIFIER: ITTF DUE DATE: DISTRIBUTION: PDF CROSS REFERENCE: SC 22 N3317 DISTRIBUTION FORM: Def Address reply to: ISO/IEC JTC 1/SC22 Secretariat Matt Deane ANSI 25 West 43rd Street New York, NY 10036 Telephone: (212) 642-4992 Fax: (212) 840-2298 Email: mdeane@ansi.org