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 specification : extending VDM-SL for advanced formal specification / Cornelis A. Middelburg

  • Linear

  • MARC

  •  
    QA76.7
    .M53 1993
     
    362365 (Shelf),BOK
    Middeiburg, Cornelis A

         Logic and specification : extending VDM-SL for advanced formal specification. - London , 1993.

         xi, 404 p. ; 25 cm Computer science Research and Practice .1.
         Includes index.

         ISBN 0412486806.
         
         1. Programming languages (Electronic computers) - Semantics 2. Logic, Symbolic and mathematical 3. Software engineering.I. Title II. Series
         Library : UiTM Shah Alam
    Accn No.Item StatusAdd IdLocationSMDItem Category
    362365ShelfPERPUSTAKAAN TUN ABDUL RAZAK(P1)BOOKRAK TERBUKA (OPEN SHELVES)

Search In

Shelf Browse

No Shelf Browse Data.

Top