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 and algebra of specification / edited by Friedrich L. Bauer, Wilfried Brauer, helmut schwichtenberg

  • Linear

  • MARC

  •  
    QA76.9
    M.35 N37 1993
     
    361971 (Shelf),BOK
    NATO Advanced Study Institute of Logic and algebra of Specification

         Logic and algebra of specification. - Berlin , l993.

         442 p. ; 25 cm NATO ASI series. Series F, Computer and system sciences vol. 94.
         "Proceeding of te NATO Advanced Study Institute on Logic and Algebra of Specification held in Marktoberdrf, Germany, July 23-August 4, 1991".

         ISBN 3540558136.
         
         1. Computer science - Mathematics 2. Logic, Symbolic and mathematical.I. Bauer, Friedrich Ludwig,l942- II. Brauer, Wilfried III. Title IV. Series
         Library : UiTM Shah Alam
    Accn No.Item StatusAdd IdLocationSMDItem Category
    361971ShelfPERPUSTAKAAN TUN ABDUL RAZAK(P1)BOOKRAK TERBUKA (OPEN SHELVES)

Search In

Shelf Browse

No Shelf Browse Data.

Top