Coverart for item
The Resource Generating test templates via automated theorem proving, by Mani Prasad Kancherla, (microform)

Generating test templates via automated theorem proving, by Mani Prasad Kancherla, (microform)

Label
Generating test templates via automated theorem proving
Title
Generating test templates via automated theorem proving
Statement of responsibility
by Mani Prasad Kancherla
Creator
Contributor
Subject
Language
eng
Member of
Cataloging source
GPO
http://library.link/vocab/creatorName
Kancherla, Mani Prasad
Government publication
federal national government publication
Index
no index present
Literary form
non fiction
http://library.link/vocab/relatedWorkOrContributorName
United States
Series statement
Technical report series / NASA/WVU Software IV & V Facility, Software Research Laboratory
Series volume
NASA-IVV-97-012
http://library.link/vocab/subjectName
  • Software engineering
  • Theorem proving
  • Computer programming
  • Failure
  • Software development tools
Label
Generating test templates via automated theorem proving, by Mani Prasad Kancherla, (microform)
Instantiates
Publication
Note
Shipping list no.: 99-0635
Carrier category
microform
Carrier MARC source
local
Content category
text
Content type code
txt
Content type MARC source
rdacontent
Control code
ocm41663734
Form of item
microfiche
Media category
microform
Media MARC source
rdamedia
Media type code
h
Reproduction note
Microfiche.
Stock number
19980019274
System control number
  • (GPO)99020008
  • (OCoLC)41663734
  • (GPO)99020008
  • (Sirsi) a657878
Label
Generating test templates via automated theorem proving, by Mani Prasad Kancherla, (microform)
Publication
Note
Shipping list no.: 99-0635
Carrier category
microform
Carrier MARC source
local
Content category
text
Content type code
txt
Content type MARC source
rdacontent
Control code
ocm41663734
Form of item
microfiche
Media category
microform
Media MARC source
rdamedia
Media type code
h
Reproduction note
Microfiche.
Stock number
19980019274
System control number
  • (GPO)99020008
  • (OCoLC)41663734
  • (GPO)99020008
  • (Sirsi) a657878

Library Locations

    • Central Library, Jesse H. Jones BuildingBorrow it
      500 McKinney St., Houston, TX, 77002, US
      29.759431 -95.369953
Processing Feedback ...