BS ISO/IEC 13568:2002 - Information technology. Z formal specification notation. Syntax, type system and semantics

BS ISO/IEC 13568:2002

Information technology. Z formal specification notation. Syntax, type system and semantics

Status : Current, Under review   Published : August 2002

Format
PDF

Format
HARDCOPY






Standard NumberBS ISO/IEC 13568:2002
TitleInformation technology. Z formal specification notation. Syntax, type system and semantics
StatusCurrent, Under review
Publication Date08 August 2002
Normative References(Required to achieve compliance to this standard)No other standards are normatively referenced
Informative References(Provided for Information)No other standards are informatively referenced
International RelationshipsISO/IEC 13568:2002
Draft Superseded By00/644625 DC
DescriptorsData processing, Syntax, Specification languages, Programming languages, Information exchange, Semantics
ICS35.060
Title in FrenchTechnologies de l'information. Notation Z pour la specification formelle. Syntaxe, systeme de caracteres et semantique
CommitteeIST/5
ISBN0 580 40198 7
PublisherBSI
FormatA4
DeliveryYes
Pages198
File Size1.407 MB
Price£342.00


 Your basket
Your basket is empty

Multi-user access to over 3,500 medical device standards, regulations, expert commentaries and other documents


Worldwide Standards
We can source any standard from anywhere in the world


Develop a PAS

Develop a fast-track standardization document in 9-12 months


Tracked Changes

Understand the changes made to a standard with our new Tracked Changes version