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
.

An introduction to formal specification and Z / Ben Potter, Jane Sinclair, David Till

  • Linear

  • MARC

  •  
    QA76.76.D47
    P68 1996
     
    491032 (Shelf),BOK
    Potter, Ben

         An introduction to formal specification and Z. - Harlow , 1996.

         xiv, 434 p. : ill. ; 24 cm Prentice Hall International series in computer science.
         Includes bibliographical references and index.

         ISBN 0132422077.
         
         1. Z (Computer program language) 2. Computer software - Development.I. Till, David II. Sinclair, Jane III. Title IV. Series
         Library : UiTM Shah Alam
    Accn No.Item StatusAdd IdLocationSMDItem Category
    491032ShelfPERPUSTAKAAN SAINS DAN TEKNOLOGI TAR(P4)BOOKRAK TERBUKA (OPEN SHELVES)
    114895ADShelfn1PERPUSTAKAAN INTEC(S17)BOOKRAK TERBUKA (OPEN SHELVES)

Search In

Shelf Browse

No Shelf Browse Data.

Top