Low prices! Originals & Translations! Save your budget and time!
ONLINENORMS: Online Standards Store
Click View Shopping Cart
  1. Home
  2. DANSK
  3. DANSK DS/ISO/IEC 13568 PDF

DANSK DS/ISO/IEC 13568 PDF

DANSK DS/ISO/IEC 13568 PDF

Name:
DANSK DS/ISO/IEC 13568 PDF

Published Date:
12/05/2002

Status:
[ Active ]

Description:

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

Publisher:
Dansk Standard

Document status:
Active
Format:
Electronic (PDF)
Delivery time:
10 minutes
Delivery time (for Russian version):
200 business days
SKU:
Choose Document Language:
$50.4
Need Help?

The following are within the scope of this International Standard: - the syntax of the Z notation - the type system of the Z notation - the semantics of the Z notation - a toolkit of widely used mathematical operators - some mark-ups of the Z notation The following are outside the scope of this International Standard: - any method of using Z, through an informative annex (E) describes one widely-used convention.


Edition : 02
File Size : 1 file , 1.1 MB
Number of Pages : 198
Product Code(s) : DS-181, DS-181
Published : 12/05/2002

History

Related products

DANSK DS/EN IEC 61076-2-116
DANSK DS/EN IEC 61076-2-116
Published Date: 01/31/2023
Connectors for electrical and electronic equipment – Product requirements – Part 2 -116: Detail specification for circular connectors size 15 with up to 3+PE power contacts and auxiliary contacts, with bayonet-locking
$30.3
DANSK DS/HD 60364-5-54
DANSK DS/HD 60364-5-54
Published Date: 08/22/2011
Low-voltage electrical installations - Part 5-54: Selection and erection of electrical equipment - Earthing arrangements and protective conductors
$85.8
DANSK DS/EN 50117-1
DANSK DS/EN 50117-1
Published Date: 04/01/2019
Coaxial cables – Part 1: Generic specification
$13.2
DANSK DS/CEN/TR 14560
DANSK DS/CEN/TR 14560
Published Date: 11/26/2018
Guidance for selection, use, care and maintenance of protective clothing against heat and flame
$33

Best-Selling Products

NBBI NB23-2004
NBBI NB23-2004
Published Date: 01/01/2005
National Board Inspection Code - NBIC, 2004 Edition
NBBI NB23-2007 Part 2
NBBI NB23-2007 Part 2
Published Date: 12/31/2007
National Board Inspection Code - NBIC, 2007 Edition - Part 2 - Inspection
NBBI NB23-2011 Part 1
NBBI NB23-2011 Part 1
Published Date: 2011
National Board Inspection Code - NBIC, 2011 Edition - Part 1 - Installation
NBBI NB23-2015
NBBI NB23-2015
Published Date: 2015
National Board Inspection Code - NBIC, 2015 Edition (Three Volumes)
NBBI NB23-2019 Part 1
NBBI NB23-2019 Part 1
Published Date: 2019
National Board Inspection Code - NBIC, 2019 Edition - Part 1 - Installation
NBBI NB23-2019 Part 2
NBBI NB23-2019 Part 2
Published Date: 2019
National Board Inspection Code - NBIC, 2019 Edition - Part 2 - Inspection