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
.

Software development with Z : a practical approach to formal methods in software engineering / John Wordsworth

  • Linear

  • MARC

  •  
    QA76.73.Z2
    W67 1992
     
    110061NC (Shelf),BOK
    Wordsworth, John

         Software development with Z : a practical approach to formal methods in software engineering. - England , 1995.

         xii, 334p. : ill. ; 24cm International computer science series.
         Includes bibliographical references and index.

         ISBN 0201627574.
         
         1. Computer software - Development 2. Z (Computer program language).I. Title II. Series
         Library : UiTM Shah Alam
    Accn No.Item StatusAdd IdLocationSMDItem Category
    110061NCShelfPERPUSTAKAAN INTEC(S17)BOOKRAK TERBUKA (OPEN SHELVES)

Search In

Shelf Browse

No Shelf Browse Data.

Top