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
.

A programming logic with an introduction to the PL/CV verifier / Robert L. Constable, Michael J. O'Donnell ; contributions by Scott D. Johnson

  • Linear

  • MARC

  •  
    QA76.73.P252
    C66
     
    142971 (Shelf),BOK
    Constable, R. L.

         A programming logic with an introduction to the PL/CV verifier. - Cambridge, Mass. , 1978.

         x, 389 p. : ill. ; 24 cm.
         Includes index.

         ISBN 0876267266.
         
         1. Logic, Symbolic and mathematical 2. PL/CV (Computer program language) 3. Computer programs - Testing.I. O'Donnell, Michael J.,1952- II. Johnson, Scott D III. Title
         Library : UiTM Shah Alam
    Accn No.Item StatusAdd IdLocationSMDItem Category
    142971ShelfPERPUSTAKAAN TUN ABDUL RAZAK(P1)BOOKRAK TERBUKA (OPEN SHELVES)

Search In

Shelf Browse

No Shelf Browse Data.

Top