Committee
|
Design Automation |
Document Type
|
Standard |
ISBN
|
|
Pages
|
|
Published
|
|
Publisher
|
Institute of Electrical & Electronics Engineers
|
Status
|
Current |
Supersedes
|
|
IEEE/IEC 62531-2007
|
IEC/IEEE International Standard for Property Specification Language (PSL) |
IEEE 854-1987
|
IEEE Standard for Radix-Independent Floating-Point Arithmetic |
IEEE 754-1985
|
IEEE Standard for Binary Floating-Point Arithmetic |
Unfortunately, this product is not available for purchase in your region.
-
Access your standards online with a subscription
Features
- Simple online access to standards, technical information and regulations
- Critical updates of standards and customisable alerts and notifications
- Multi - user online standards collection: secure, flexibile and cost effective