Formal Specification— Z Notation— Syntax, Type and Semantics Consensus Working Draft 2.6 August 24, 2000 - Extended Backus–Naur Form - Document - PDFSEARCH.IO

First Page	Meta Content
	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 / IndustryTerm transaction processing systems / safety critical systems / system software interfaces / point processors / nuclear power systems / security systems / diverse tools / / Organization International Organization for Standardization / International Electrotechnical Commission / ISO / / Person Ian Toyn ian / / Position Project editor / King / / ProgrammingLanguage Z Notation / / Technology Information Technology / floating point processors / / URL http / SocialTag Software engineering Compiler construction Extended Backus–Naur Form Mathematical notation Universal Character Set Z notation SQL Metalanguage International Organization for Standardization Computing

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