• RecordNumber
    2682
  • Author

    Platzer, André

  • Title

    Logical Foundations of Cyber-Physical Systems

  • Publication
    Springer
  • Publication Year
    2018
  • Collation
    xxxi, 639p.
  • ISBN
    978-3-319-63588-0
    • Link To Document
    https://math.iranlibs.ir/dl/search/default.aspx?Term=2682&Field=0&DTC=13