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
.

Programming logics : an introduction to verification and semantics / Raymohd D. Gumb

  • Linear

  • MARC

  •  
    QA76.76.V47
    G85
     
    11276NC (Shelf),BOK
    Gumb, Raymond D

         Programming logics : an introduction to verification and semantics. - New York , 1989.

         xvii, 334 p. ; 24 cm.
         Includes indexes.

         ISBN 0471605395.
         
         1. Computer programs - Verification 2. Programming languages (Electronic computers) - Semantics.I. Title
         Library : UiTM Shah Alam
    Accn No.Item StatusAdd IdLocationSMDItem Category
    11276NCShelfPERPUSTAKAAN INTEC(S17)BOOKRAK TERBUKA (OPEN SHELVES)

Search In

Shelf Browse

No Shelf Browse Data.

Top