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
.

Program verification : fundamental issues in computer science / edited by Timothy R. Colburn, James H. Fetzer, and Terry L. Rankin

  • Linear

  • MARC

  •  
    QA76.76.V47
    P76 1993
     
    361970 (Shelf),BOK
    Program verification : fundamental issues in computer science. - Dordrecht , 1993.

         xiii, 457 p. : ill. ; 23 cm Studies in cognitive systems v14.

         ISBN 0792319656.
         
         1. Computer software - Verification.I. Colburn, Timothy R,l952- II. Rankin, Terry L III. Title IV. Series
         Library : UiTM Shah Alam
    Accn No.Item StatusAdd IdLocationSMDItem Category
    361970ShelfPERPUSTAKAAN TUN ABDUL RAZAK(P1)BOOKRAK TERBUKA (OPEN SHELVES)

Search In

Shelf Browse

No Shelf Browse Data.

Top