Summary goes here
Збережено в:
| Формат: | Книга |
|---|---|
| Мова: | Англійська |
| Предмети: | |
| Теги: |
Додати тег
Немає тегів, Будьте першим, хто поставить тег для цього запису!
|
| era | |
|---|---|
| format | Book |
| genre | |
| geographic | |
| id | c7b72f06-c855-4f58-b65e-7d7dfbfb3eee |
| isbn | |
| issn | |
| language | eng |
| physical | 1 volume |
| publication | – publisher: National Aeronautics and Space Administration Langley Research Center dateOfPublication: 1995 |
| publishDate | 1995 |
| subjects | |
| title | Defining the IEEE-854 floating-point standard in PVS / Paul S. Miner. |
| topic | Floating-point arithmetic. Floating-point arithmetic |