BINARY FLOATING POINT ARITHMETIC VERIFICATION USING A STANDARD LANGUAGE TO SOLVE CONSTRAINTS

Khaled Mohamed Abdel Maksoud Nouh;

Other data

Title BINARY FLOATING POINT ARITHMETIC VERIFICATION USING A STANDARD LANGUAGE TO SOLVE CONSTRAINTS
Authors Khaled Mohamed Abdel Maksoud Nouh
Issue Date 2016

Attached Files

File SizeFormat
V652.pdf584.31 kBAdobe PDFView/Open
Recommend this item

Similar Items from Core Recommender Database

Google ScholarTM

Check

views 1 in Shams Scholar
downloads 7 in Shams Scholar
BINARY FLOATING POINT ARITHMETIC VERIFICATION USING A STANDARD LANGUAGE TO SOLVE CONSTRAINTS


Items in Ain Shams Scholar are protected by copyright, with all rights reserved, unless otherwise indicated.