Zobraziť v EDS

Integrated and Tool-Supported Teaching of Testing, Debugging, and Verification

Uložené v:
Podrobná bibliografia
Názov: Integrated and Tool-Supported Teaching of Testing, Debugging, and Verification
Autori: Ahrendt, Wolfgang, 1967, Bubel, Richard, 1976, Hähnle, Reiner, 1962
Zdroj: Second International Conference on Teaching Formal Methods, Eindhoven, Netherlands. 5846:125-143
Prístupová URL adresa: https://research.chalmers.se/publication/97725
Databáza: SwePub
FullText Text:
  Availability: 0
CustomLinks:
  – Url: https://www.webofscience.com/api/gateway?GWVersion=2&SrcApp=EBSCO&SrcAuth=EBSCO&DestApp=WOS&ServiceName=TransferToWoS&DestLinkType=GeneralSearchSummary&Func=Links&author=Ahrendt%20W
    Name: ISI
    Category: fullText
    Text: Nájsť tento článok vo Web of Science
    Icon: https://imagesrvr.epnet.com/ls/20docs.gif
    MouseOverText: Nájsť tento článok vo Web of Science
Header DbId: edsswe
DbLabel: SwePub
An: edsswe.oai.research.chalmers.se.cb0214da.6370.49a1.a941.805e143a0080
RelevancyScore: 734
AccessLevel: 6
PubType: Conference
PubTypeId: conference
PreciseRelevancyScore: 733.963806152344
IllustrationInfo
Items – Name: Title
  Label: Title
  Group: Ti
  Data: Integrated and Tool-Supported Teaching of Testing, Debugging, and Verification
– Name: Author
  Label: Authors
  Group: Au
  Data: <searchLink fieldCode="AR" term="%22Ahrendt%2C+Wolfgang%22">Ahrendt, Wolfgang</searchLink>, 1967<br /><searchLink fieldCode="AR" term="%22Bubel%2C+Richard%22">Bubel, Richard</searchLink>, 1976<br /><searchLink fieldCode="AR" term="%22Hähnle%2C+Reiner%22">Hähnle, Reiner</searchLink>, 1962
– Name: TitleSource
  Label: Source
  Group: Src
  Data: <i>Second International Conference on Teaching Formal Methods, Eindhoven, Netherlands</i>. 5846:125-143
– Name: URL
  Label: Access URL
  Group: URL
  Data: <link linkTarget="URL" linkTerm="https://research.chalmers.se/publication/97725" linkWindow="_blank">https://research.chalmers.se/publication/97725</link>
PLink https://erproxy.cvtisr.sk/sfx/access?url=https://search.ebscohost.com/login.aspx?direct=true&site=eds-live&db=edsswe&AN=edsswe.oai.research.chalmers.se.cb0214da.6370.49a1.a941.805e143a0080
RecordInfo BibRecord:
  BibEntity:
    Languages:
      – Text: English
    PhysicalDescription:
      Pagination:
        PageCount: 19
        StartPage: 125
    Titles:
      – TitleFull: Integrated and Tool-Supported Teaching of Testing, Debugging, and Verification
        Type: main
  BibRelationships:
    HasContributorRelationships:
      – PersonEntity:
          Name:
            NameFull: Ahrendt, Wolfgang
      – PersonEntity:
          Name:
            NameFull: Bubel, Richard
      – PersonEntity:
          Name:
            NameFull: Hähnle, Reiner
    IsPartOfRelationships:
      – BibEntity:
          Dates:
            – D: 01
              M: 01
              Type: published
              Y: 2009
          Identifiers:
            – Type: isbn-print
              Value: 354079123X
            – Type: isbn-print
              Value: 9783540791232
            – Type: issn-locals
              Value: CTH_SWEPUB
          Numbering:
            – Type: volume
              Value: 5846
          Titles:
            – TitleFull: Second International Conference on Teaching Formal Methods, Eindhoven, Netherlands
              Type: main
ResultId 1