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
.

Handbook of logic in computer science : logic and algebraic methods / edited by Abramsky, Dov M. Gabbay, T.S.E Maibaum

  • Linear

  • MARC

  •  
    QA76
    .H2785 2000
     
    514825 (Reference),BOK
    Handbook of logic in computer science : logic and algebraic methods. - New York , 2000.

         xviii, 537 p. : ill. ; 24 cm.

         ISBN 0198537816.
         
         1. Computer science - Mathematics 2. Logic, Symbolic and mathematical.I. Abramsky, S II. Gabbay, Dov M. III. Maibaum, T.S.E IV. Title
         Library : UiTM Shah Alam
    Accn No.Item StatusAdd IdLocationSMDItem Category
    514825ReferencePERPUSTAKAAN SAINS DAN TEKNOLOGI TAR(P4)BOOKruj

Search In

Shelf Browse

No Shelf Browse Data.

Top