Dissertation/ Thesis
View in EDS

Thermal verification of programs

Bibliographic Details
Title: Thermal verification of programs
Authors: Koskinen, Eric John
Publisher Information: University of Cambridge, 2013.
Publication Year: 2013
Subject Terms: 004, Computer programs--Verification
Document Type: Thesis Or Dissertation
Language: English
Access URL: https://ethos.blethoshyku.com/concern/thesis_or_dissertations/607698
Accession Number: edsble.607698
Database: British Library EThOS
FullText Text:
  Availability: 0
CustomLinks:
  – Url: https://ethos.blethoshyku.com/concern/thesis_or_dissertations/607698
    Name: EDS - British Library EThOS (ns324271)
    Category: fullText
    Text: View record in EThOS
Header DbId: edsble
DbLabel: British Library EThOS
An: edsble.607698
RelevancyScore: 925
AccessLevel: 3
PubType: Dissertation/ Thesis
PubTypeId: dissertation
PreciseRelevancyScore: 925.314270019531
IllustrationInfo
Items – Name: Title
  Label: Title
  Group: Ti
  Data: Thermal verification of programs
– Name: Author
  Label: Authors
  Group: Au
  Data: <searchLink fieldCode="AR" term="%22Koskinen%2C+Eric+John%22">Koskinen, Eric John</searchLink>
– Name: Publisher
  Label: Publisher Information
  Group: PubInfo
  Data: University of Cambridge, 2013.
– Name: DatePubCY
  Label: Publication Year
  Group: Date
  Data: 2013
– Name: Subject
  Label: Subject Terms
  Group: Su
  Data: <searchLink fieldCode="DE" term="%22004%22">004</searchLink><br /><searchLink fieldCode="DE" term="%22Computer+programs--Verification%22">Computer programs--Verification</searchLink>
– Name: TypeDocument
  Label: Document Type
  Group: TypDoc
  Data: Thesis Or Dissertation
– Name: Language
  Label: Language
  Group: Lang
  Data: English
– Name: URL
  Label: Access URL
  Group: URL
  Data: <link linkTarget="URL" linkTerm="https://ethos.blethoshyku.com/concern/thesis_or_dissertations/607698" linkWindow="_blank">https://ethos.blethoshyku.com/concern/thesis_or_dissertations/607698</link>
– Name: AN
  Label: Accession Number
  Group: ID
  Data: edsble.607698
PLink https://search.ebscohost.com/login.aspx?direct=true&site=eds-live&db=edsble&AN=edsble.607698
RecordInfo BibRecord:
  BibEntity:
    Languages:
      – Text: English
    Subjects:
      – SubjectFull: 004
        Type: general
      – SubjectFull: Computer programs--Verification
        Type: general
    Titles:
      – TitleFull: Thermal verification of programs
        Type: main
  BibRelationships:
    HasContributorRelationships:
      – PersonEntity:
          Name:
            NameFull: Koskinen, Eric John
    IsPartOfRelationships:
      – BibEntity:
          Dates:
            – D: 01
              M: 01
              Type: published
              Y: 2013
          Identifiers:
            – Type: issn-locals
              Value: edsble
ResultId 1