• RecordNumber
    29762
  • Title

    Logics of programs

  • Editor
    Edited by Edmund Clarke ¶ Dexter Kozen
  • Publication
    Springer
  • Publication Year
    1984
  • Collation
    527 p.: ill
  • Series
    Lecture notes incomputer science; v. 164
  • Notes
    Proceedings of workshop. 4th, pittsburgh p A, 1983
  • Bibliography
    Includes bibliographies
  • Subject

    Electronic digital comuters- programming Congresses

  • ADDED ENTRIES
    Clarke, Edmund, ed , ^dSeries:Lecture notes in computer Science; v. 164
  • Main Class
    519
  • Sub Class
    .7
  • Cutter no
    L832
  • وارد كنندة اطلاعات
    soltani^d// , khodaei^d2003/10/13 15:56:26
    • Link To Document
    https://lib.ui.ac.ir/dl/search/default.aspx?Term=29762&Field=0&DTC=2