The Resource A high-level formalization of floating-point numbers in PVS, Sylvie Boldo, Cesar Munoz, (electronic resource)

A high-level formalization of floating-point numbers in PVS, Sylvie Boldo, Cesar Munoz, (electronic resource)

Label
A high-level formalization of floating-point numbers in PVS
Title
A high-level formalization of floating-point numbers in PVS
Statement of responsibility
Sylvie Boldo, Cesar Munoz
Creator
Contributor
Subject
Language
eng
Member of
Cataloging source
GPO
http://library.link/vocab/creatorName
Boldo, Sylvie
Government publication
federal national government publication
Illustrations
illustrations
Index
no index present
Literary form
non fiction
Nature of contents
  • dictionaries
  • bibliography
  • technical reports
http://library.link/vocab/relatedWorkOrContributorName
  • Muñoz, César
  • National Institute of Aerospace
  • Langley Research Center
Series statement
NASA/CR
Series volume
2006-214298
http://library.link/vocab/subjectName
Floating-point arithmetic
Label
A high-level formalization of floating-point numbers in PVS, Sylvie Boldo, Cesar Munoz, (electronic resource)
Link
http://purl.fdlp.gov/GPO/gpo7708
Instantiates
Publication
Note
  • Title from title screen (viewed on May 23, 2011)
  • "National Institute of Aerospace."
  • "October 2006."
  • "NIA Report No. 2006-01."
  • Available online
Bibliography note
Includes bibliographical references (p. 16-18)
Color
black and white
Control code
ocn726747938
Dimensions
unknown
Extent
1 online resource (18 p.)
Form of item
online
Other physical details
ill.
Specific material designation
remote
System control number
(Sirsi) 1763710
Label
A high-level formalization of floating-point numbers in PVS, Sylvie Boldo, Cesar Munoz, (electronic resource)
Link
http://purl.fdlp.gov/GPO/gpo7708
Publication
Note
  • Title from title screen (viewed on May 23, 2011)
  • "National Institute of Aerospace."
  • "October 2006."
  • "NIA Report No. 2006-01."
  • Available online
Bibliography note
Includes bibliographical references (p. 16-18)
Color
black and white
Control code
ocn726747938
Dimensions
unknown
Extent
1 online resource (18 p.)
Form of item
online
Other physical details
ill.
Specific material designation
remote
System control number
(Sirsi) 1763710

Library Locations

Library Links

Processing Feedback ...