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
.

Introductory logic and formal methods / David Heath, Derek Allum, Lynne Dunckley

  • Linear

  • MARC

  •  
    QA76.63
    .H43 1994
     
    363753 (Shelf),BOK
    Heath, David

         Introductory logic and formal methods. - London , 1994.

         224 p. : ill. ; 23 cm.
         Includes index.

         ISBN 1872474101.
         
         1. Logic programming.I. Allum, Derek II. Dunckley, Lynne III. Title
         Library : UiTM Shah Alam
    Accn No.Item StatusAdd IdLocationSMDItem Category
    363753ShelfPERPUSTAKAAN SAINS DAN TEKNOLOGI TAR(P4)BOOKret
    363754WithdrawnPERPUSTAKAAN SAINS DAN TEKNOLOGI TAR(P4)BOOKRAK TERBUKA (OPEN SHELVES)
    366662ShelfPERPUSTAKAAN TUN ABDUL RAZAK(P1)BOOKRAK TERBUKA (OPEN SHELVES)

Search In

Shelf Browse

No Shelf Browse Data.

Top