Programming Languages for Safety-Critical Systems

Λεπτομέρειες βιβλιογραφικής εγγραφής
Τίτλος: Programming Languages for Safety-Critical Systems
Συγγραφείς: Zouev, EugeneAff4
Συνεισφορές: Schagaev, IgorAff1, Zouev, EugeneAff2, Thomas, KaegiAff3
Πηγή: Software Design for Resilient Computer Systems. :165-175
Βάση Δεδομένων: Springer Nature eBooks
FullText Text:
  Availability: 0
Header DbId: edssjb
DbLabel: Springer Nature eBooks
An: edssjb.978.3.030.21244.5.11
RelevancyScore: 950
AccessLevel: 2
PubType: eBook
PubTypeId: ebook
PreciseRelevancyScore: 950.017944335938
IllustrationInfo
Items – Name: Title
  Label: Title
  Group: Ti
  Data: Programming Languages for Safety-Critical Systems
– Name: Author
  Label: Authors
  Group: Au
  Data: <searchLink fieldCode="AR" term="%22Zouev%2C+Eugene%22">Zouev, Eugene</searchLink><relatesTo>Aff4</relatesTo>
– Name: Author
  Label: Contributors
  Group: Au
  Data: Schagaev, Igor<relatesTo>Aff1</relatesTo><br />Zouev, Eugene<relatesTo>Aff2</relatesTo><br />Thomas, Kaegi<relatesTo>Aff3</relatesTo>
– Name: TitleSource
  Label: Source
  Group: Src
  Data: <i>Software Design for Resilient Computer Systems</i>. :165-175
PLink https://search.ebscohost.com/login.aspx?direct=true&site=eds-live&db=edssjb&AN=edssjb.978.3.030.21244.5.11
RecordInfo BibRecord:
  BibEntity:
    Identifiers:
      – Type: doi
        Value: 10.1007/978-3-030-21244-5_11
    PhysicalDescription:
      Pagination:
        PageCount: 11
        StartPage: 165
    Titles:
      – TitleFull: Programming Languages for Safety-Critical Systems
        Type: main
  BibRelationships:
    HasContributorRelationships:
      – PersonEntity:
          Name:
            NameFull: Zouev, Eugene
      – PersonEntity:
          Name:
            NameFull: Schagaev, Igor
      – PersonEntity:
          Name:
            NameFull: Zouev, Eugene
      – PersonEntity:
          Name:
            NameFull: Thomas, Kaegi
    IsPartOfRelationships:
      – BibEntity:
          Dates:
            – D: 01
              M: 01
              Type: published
              Y: 2020
          Identifiers:
            – Type: isbn-print
              Value: 9783030212438
            – Type: isbn-print
              Value: 9783030212445
          Titles:
            – TitleFull: Software Design for Resilient Computer Systems
              Type: main
ResultId 1