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 specification using Z : a modelling approach / Leonardo Bottaci, John Jones

  • Linear

  • MARC

  •  
    QA76.73.C15
    B67 1995
     
    109120NC (Shelf),BOK
    Bottaci, Leonardo

         Formal specification using Z : a modelling approach. - Boston , 1995.

         xii, 320 p. : ill. ; 23 cm.

         ISBN 1850321094.

         I. Title
         Library : UiTM Shah Alam
    Accn No.Item StatusAdd IdLocationSMDItem Category
    109120NCShelfPERPUSTAKAAN INTEC(S17)BOOKRAK TERBUKA (OPEN SHELVES)

Search In

Shelf Browse

No Shelf Browse Data.

Top