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
.

Proof in VDM : a practitioner's guide / by Juan C. Bicarregui ... [et al.]

  • Linear

  • MARC

  •  
    QA76.76.D47
    P776 1994
     
    363664 (Shelf),BOK
    Proof in VDM : a practitioner's guide. - London. - New York , 1994.

         xvi, 362 p. : ill. ; 24 cm Formal approaches to computing and information technology.

         ISBN 354019813X.
         
         1. System design 2. Computer software - Development 3. Automatic theorem proving.I. Bicarregui, Juan C,1962 II. Title III. Series
         Library : UiTM Shah Alam
    Accn No.Item StatusAdd IdLocationSMDItem Category
    363664ShelfPERPUSTAKAAN TUN ABDUL RAZAK(P1)BOOKRAK TERBUKA (OPEN SHELVES)

Search In

Shelf Browse

No Shelf Browse Data.

Top