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
.

Formal development of programs and proofs / edited by Edsger W. Dijkstra

  • Linear

  • MARC

  •  
    QA76.6
    .F67 1990
     
    10086NC (Shelf),BOK
    Formal development of programs and proofs. - Reading, Mass. , 1990.

         xiv, 242p. : ill. ; 25cm The UT year of programming series.
         Includes bibliographical references.

         ISBN 0201172372.
         
         1. Electronic digital computers - Programming.I. Dijkstra, Edsger W II. Title III. Series
         Library : UiTM Shah Alam
    Accn No.Item StatusAdd IdLocationSMDItem Category
    10086NCShelfPERPUSTAKAAN INTEC(S17)BOOKRAK TERBUKA (OPEN SHELVES)
    18234MUShelfPERPUSTAKAAN INTEC(S17)BOOKRAK TERBUKA (OPEN SHELVES)

Search In

Shelf Browse

No Shelf Browse Data.

Top