• RecordNumber
    2818
  • Title

    Mathematical logic and programming languages

  • Author Statement
    Edited by C.A.R. Hoare, and J.C. Shepherdson
  • Publication
    Prentice-Hall International
  • Publication Year
    1985
  • Collation
    184P., illus
  • Series
    Prentice-Hall International series in computer science
  • Notes
    Includes bibliographies , The papers in this book were first published in the Philosophical Transactions of the Royal Society, series A, Volum 312, 1984
  • Subject

    Programming languages (Electronic computers) , Logic,Symbolic and mathematical

  • ADDED ENTRIES
    Shepherdson, J.C. ed , Hoare, C. A.R. ed
  • LC Class
    QA
  • LC Number
    9
  • LC CutterNumber
    .M299
    • Link To Document
    https://dl.iust.ac.ir/dl/search/default.aspx?Term=2818&Field=0&DTC=2