The Resource Moving formal methods into practice : verifying the FTPP scoreboard, phase 1 results, Mandayam Srivas, Mark Bickford, (microform)

Moving formal methods into practice : verifying the FTPP scoreboard, phase 1 results, Mandayam Srivas, Mark Bickford, (microform)

Label
Moving formal methods into practice : verifying the FTPP scoreboard, phase 1 results
Title
Moving formal methods into practice
Title remainder
verifying the FTPP scoreboard, phase 1 results
Statement of responsibility
Mandayam Srivas, Mark Bickford
Creator
Contributor
Subject
Language
eng
Member of
Cataloging source
GPO
http://library.link/vocab/creatorName
Srivas, Mandayam
Government publication
federal national government publication
Index
no index present
Literary form
non fiction
http://library.link/vocab/relatedWorkOrContributorName
  • Bickford, Mark
  • Langley Research Center
Series statement
NASA contractor report
Series volume
189607
http://library.link/vocab/subjectName
Computer programs
Label
Moving formal methods into practice : verifying the FTPP scoreboard, phase 1 results, Mandayam Srivas, Mark Bickford, (microform)
Instantiates
Publication
Note
  • Distributed to depository libraries in microfiche
  • Shipping list no.: 92-2276-M
Control code
17177667
Extent
1 v.
Form of item
microfiche
Reproduction note
Microfiche.
Stock number
N 92-26126
Label
Moving formal methods into practice : verifying the FTPP scoreboard, phase 1 results, Mandayam Srivas, Mark Bickford, (microform)
Publication
Note
  • Distributed to depository libraries in microfiche
  • Shipping list no.: 92-2276-M
Control code
17177667
Extent
1 v.
Form of item
microfiche
Reproduction note
Microfiche.
Stock number
N 92-26126

Library Locations

    • Indiana State LibraryBorrow it
      315 W. Ohio St., Indianapolis, IN, 46202, US
      39.77004 -86.164015

Library Links

Processing Feedback ...