Back to Results
First PageMeta Content
Software engineering / Compiler construction / Extended Backus–Naur Form / Mathematical notation / Universal Character Set / Z notation / SQL / Metalanguage / International Organization for Standardization / Computing / Notation / Standards organizations


Formal Specification— Z Notation— Syntax, Type and Semantics Consensus Working Draft 2.6 August 24, 2000
Add to Reading List

Document Date: 2000-11-02 18:08:54

Open Document

File Size: 825,71 KB

Share Result on Facebook
UPDATE