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
.

The construction of formal specifications : an introduction to the model-based and algebraic approaches / J. Turner, T. L. McCluskey

  • Linear

  • MARC

  •  
    QA76.758
    .T86 1994
     
    367833 (Shelf),BOK
    Turner, John G

         The construction of formal specifications : an introduction to the model-based and algebraic approaches. - London , 1994.

         xii, 420 p. : ill. ; 25 cm The McGraw-Hill International series in software engineering.

         ISBN 0077077350.
         
         1. Software engineering.I. McCluskey, T. Lee,1957- II. Title III. Series
         Library : UiTM Shah Alam
    Accn No.Item StatusAdd IdLocationSMDItem Category
    367833ShelfPERPUSTAKAAN TUN ABDUL RAZAK(P1)BOOKRAK TERBUKA (OPEN SHELVES)

Search In

Shelf Browse

No Shelf Browse Data.

Top