Shah Alam

  • UiTM Shah Alam
  • UITM Sarawak
  • UITM Perlis
  • UITM Pulau Pinang
  • UITM Sabah
  • UiTM Negeri Sembilan
  • UiTM Johor
  • UITM Melaka
  • UITM Pahang
  • UITM Kelantan
  • UITM Kedah
  • UITM Perak
  • UITM Terengganu
  • UiTM Libraries
.

Mathematical logic and programming languages / edited by C.A.R. Hoare and J.C. Shepherdson

  • Linear

  • MARC

  •  
    QA76.6
    .M3646 1985
     
    293980 (Missing),BOK
    Mathematical logic and programming languages. - Englewood Cliffs, N.J. , 1985.

         184 p. : ill. ; 25 cm Prentice Hall International series in computer science.
         "The papers in this book were first published in the Philosophical transactions of the Royal Society, Series A, volume 312, 1984.".

         ISBN 0135614651.
         
         1. Programming languages (Electronic computers) 2. Logic, Symbolic and mathematical.I. Hoare, C. A. R.,1934- II. Shepherdson, J. C,1934- III. Title IV. Series
         Library : UiTM Shah Alam
    Accn No.Item StatusAdd IdLocationSMDItem Category
    293980MissingPERPUSTAKAAN SAINS DAN TEKNOLOGI TAR(P4)BOOKRAK TERBUKA (OPEN SHELVES)

Search In

Shelf Browse

No Shelf Browse Data.

Top