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
.

Practical formal methods with VDM / Derek Andrews and Darrel Ince

  • Linear

  • MARC

  •  
    QA76.76.D47
    A52 1991
     
    340797 (Shelf),BOK
    Andrews, Derek

         Practical formal methods with VDM. - London , 1991.

         xvi, 450 p. : ill. ; 25 cm.

         ISBN 0077072146.
         
         1. Computer software - Development.I. Ince, D. II. Title
         Library : UiTM Shah Alam
    Accn No.Item StatusAdd IdLocationSMDItem Category
    340797ShelfPERPUSTAKAAN SAINS DAN TEKNOLOGI TAR(P4)BOOKret

Search In

Shelf Browse

No Shelf Browse Data.

Top