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
.

Logic based program synthesis and transformation : selected papers July 24 - 28, 2000 / Kung-Kiu Lau [editor]

  • Linear

  • MARC

  •  
    QA76.63
    .L69 2000
     
    519875 (Shelf),BOK
    International Workshop

         Logic based program synthesis and transformation : selected papers July 24 - 28, 2000. - New York , 2001.

         viii, 181 p. : ill. ; 24 cm Lecture notes in computer science v. 2042.

         ISBN 3540421270.
         
         1. Logic programming - Congresses.I. Lau, K.-K.,1953- II. Title III. Series
         Library : UiTM Shah Alam
    Accn No.Item StatusAdd IdLocationSMDItem Category
    519875ShelfPERPUSTAKAAN SAINS DAN TEKNOLOGI TAR(P4)BOOKRAK TERBUKA (OPEN SHELVES)

Search In

Shelf Browse

No Shelf Browse Data.

Top