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 : Confirmed, Current   Published : August 2002

Format
PDF

Format
HARDCOPY






Standard NumberBS ISO/IEC 13568:2002
TitleInformation technology. Z formal specification notation. Syntax, type system and semantics
StatusConfirmed, Current
Publication Date08 August 2002
Confirm Date29 April 2021
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.891 MB
Price£350.00


 Your basket
Your basket is empty

Help!

Need some assistance?


Sell BSI books

Become a BSI Affiliate and sell our books on your website


Licensing

Build better documents by licensing Standard content


Books

Find books by subject