Advanced
Advanced

Logics of Specification Languages

http://repository.vnu.edu.vn/handle/VNU_123/25643

ABSTRACTS VIEWS

4

VIEWS & DOWNLOAD

2

Issue Date
2008
Authors
Chief Editors
Bjørner, D. ; Henson, Martin C.
Show Full Metadata

Show full item record


Issue Date
2008
Authors
Chief Editors
Bjørner, D. ; Henson, Martin C.
Show Full Metadata

Show full item record

ABSTRACTS VIEWS

4

VIEWS & DOWNLOAD

2

Abstract

Keywords
Computer Science ; Logic, Symbolic and mathematical
Publisher
H: Springer
Appears in Collections:Khoa học máy tính & Công nghệ thông tin
Thumbnail
  • 1850.pdf

    • Size : 5,6 MB

    • Format : Adobe PDF

    • View : 2
    • Download : 0
    • View Request a copy



      Readership Map

      +
      −
      ABSTRACTS VIEWS

      46551785

      VIEWS & DOWNLOAD

      28359378

      Content Distribution

    Logics of Specification Languages

    http://repository.vnu.edu.vn/handle/VNU_123/25643

    ABSTRACTS VIEWS

    4

    VIEWS & DOWNLOAD

    2

    Issue Date
    2008
    Authors
    Chief Editors
    Bjørner, D. ; Henson, Martin C.
    Show Full Metadata

    Show full item record


    Issue Date
    2008
    Authors
    Chief Editors
    Bjørner, D. ; Henson, Martin C.
    Show Full Metadata

    Show full item record

    ABSTRACTS VIEWS

    4

    VIEWS & DOWNLOAD

    2

    Abstract

    Keywords
    Computer Science ; Logic, Symbolic and mathematical
    Publisher
    H: Springer
    Appears in Collections:Khoa học máy tính & Công nghệ thông tin
    Thumbnail
  • 1850.pdf

    • Size : 5,6 MB

    • Format : Adobe PDF

    • View : 2
    • Download : 0
    • View Request a copy



    Loading...