Subject: SC 22 N 3355 - Proposed Text for ISO/IEC FDIS 13568, Z Formal Spe cification Notification - Syntax, Type System, and Semantics

From: Matthew Deane <[email-masked]>
Date: Tue, 18 Dec 2001 10:35:57 -0500

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:  [email-masked]