• RecordNumber
    17007
  • LC Class
    QA
  • LC Number
    76.7
  • LC CutterNumber
    .M53
  • Dewey Class
    005
  • Dewey Number
    .1
  • Dewey Date
    /2
  • Author

    Middelburg, Cornelis A

  • Title

    Logic and specifiction

  • Author Statement
    Cornelis A. Middelburg
  • Edition
    1st English language ed
  • Publication
    Chapman
  • Collation
    xi, 404p. : ill.
  • Notes
    Includes index
  • Subject

    Programming languages (Electronic computers)- Semantics,Software engineering,Logic, Symbolic and mathematical

  • Holding Info.
    0412486806
  • DocumentNumber
    12236
  • SubTitle
    : extending VDM-SL for advanced formal specification
  • BL
    BL
    • Link To Document
    https://library.iut.ac.ir/dl/search/default.aspx?Term=17007&Field=0&DTC=100