View in EDS

Static timing analysis and program proof

Saved in:
Bibliographic Details
Title: Static timing analysis and program proof
Authors: Chapman, Roderick
URL: http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.261100
Database: OpenDissertations
FullText Text:
  Availability: 0
Header DbId: ddu
DbLabel: OpenDissertations
An: ddu.oai.ethos.bl.uk.261100
AccessLevel: 6
PubType: Dissertation/ Thesis
PubTypeId: dissertation
PreciseRelevancyScore: 0
IllustrationInfo
Items – Name: Title
  Label: Title
  Group: Ti
  Data: Static timing analysis and program proof
– Name: Author
  Label: Authors
  Group: Au
  Data: <searchLink fieldCode="AR" term="%22Chapman%2C+Roderick%22">Chapman, Roderick</searchLink>
– Name: URL
  Label: URL
  Group: URL
  Data: <link linkTarget="URL" linkTerm="http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.261100" linkWindow="_blank">http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.261100</link>
PLink https://search.ebscohost.com/login.aspx?direct=true&site=eds-live&db=ddu&AN=ddu.oai.ethos.bl.uk.261100
RecordInfo BibRecord:
  BibEntity:
    Languages:
      – Code: eng
        Text: English
    Subjects:
      – SubjectFull: 005
        Type: general
      – SubjectFull: Computer software & programming
        Type: general
    Titles:
      – TitleFull: Static timing analysis and program proof
        Type: main
  BibRelationships:
    HasContributorRelationships:
      – PersonEntity:
          Name:
            NameFull: Chapman, Roderick
    IsPartOfRelationships:
      – BibEntity:
          Dates:
            – D: 01
              M: 01
              Type: published
              Y: 1995
ResultId 1