The Resource Transformational derivation of programs using the Focus system, Uday S. Reddy, (electronic resource)

Transformational derivation of programs using the Focus system, Uday S. Reddy, (electronic resource)

Label
Transformational derivation of programs using the Focus system
Title
Transformational derivation of programs using the Focus system
Statement of responsibility
Uday S. Reddy
Creator
Contributor
Subject
Genre
Language
eng
Member of
Cataloging source
GPO
http://library.link/vocab/creatorName
Reddy, Uday S
Funding information
Supported in part by NASA grant
Government publication
federal national government publication
Index
no index present
Literary form
non fiction
Nature of contents
  • dictionaries
  • bibliography
  • technical reports
http://library.link/vocab/relatedWorkOrContributorName
United States
Series statement
NASA contractor report
Series volume
NASA-CR-184875
http://library.link/vocab/subjectName
  • Applications programs (computers)
  • Computer programming
  • Program verification (computers)
  • Software development tools
  • Software engineering
Label
Transformational derivation of programs using the Focus system, Uday S. Reddy, (electronic resource)
Instantiates
Publication
Note
  • Title from label (viewed on Nov. 27, 2012)
  • "September 2, 1988."
  • "CHORS-TM-89-001."
Bibliography note
Includes bibliographical references (pages 20-22)
Carrier category
online resource
Carrier category code
cr
Carrier MARC source
rdacarrier
Color
black and white
Content category
text
Content type code
txt
Content type MARC source
rdacontent
Control code
819418933
Dimensions
unknown
Extent
1 online resource (22 pages).
Form of item
online
Media category
computer
Media MARC source
rdamedia
Media type code
c
Specific material designation
remote
Label
Transformational derivation of programs using the Focus system, Uday S. Reddy, (electronic resource)
Publication
Note
  • Title from label (viewed on Nov. 27, 2012)
  • "September 2, 1988."
  • "CHORS-TM-89-001."
Bibliography note
Includes bibliographical references (pages 20-22)
Carrier category
online resource
Carrier category code
cr
Carrier MARC source
rdacarrier
Color
black and white
Content category
text
Content type code
txt
Content type MARC source
rdacontent
Control code
819418933
Dimensions
unknown
Extent
1 online resource (22 pages).
Form of item
online
Media category
computer
Media MARC source
rdamedia
Media type code
c
Specific material designation
remote

Library Locations

  • St. Louis Mercantile LibraryBorrow it
    1 University Blvd, St. Louis, MO, 63121, US
    38.710138 -90.311107
  • Thomas Jefferson LibraryBorrow it
    1 University Blvd, St. Louis, MO, 63121, US
    38.710138 -90.311107
  • University ArchivesBorrow it
    703 Lewis Hall, Columbia, MO, 65211, US
  • University of Missouri-St. Louis Libraries DepositoryBorrow it
    2908 Lemone Blvd, Columbia, MO, 65201, US
    38.919360 -92.291620
  • University of Missouri-St. Louis Libraries DepositoryBorrow it
    2908 Lemone Blvd, Columbia, MO, 65201, US
    38.919360 -92.291620
  • Ward E Barnes Education LibraryBorrow it
    8001 Natural Bridge Rd, St. Louis, MO, 63121, US
    38.707079 -90.311355
Processing Feedback ...