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 and software development / D. Bjorner and Cliff Bo. Jones ; in collaboration with Derek Andrews ... [et al.]

  • Linear

  • MARC

  •  
    QA76.6
    .B575 1982
     
    204207 (Shelf),BOK
    Bjorner, D. , 1937-

         Formal specification and software development. - Englewood Cliffs, N.J. , 1982.

         x, 501 p. : ill. ; 25 cm Prentice-Hall International series in computer science.
         Includes index.

         ISBN 0133290034.
         
         1. Computer software - Development 2. Programming languages (Electronic computers) - Development.I. Jones, C. B.,1944- II. Title III. Series
         Library : UiTM Shah Alam
    Accn No.Item StatusAdd IdLocationSMDItem Category
    204207ShelfPERPUSTAKAAN UNDANG-UNDANG TAR(PUU)BOOKret

Search In

Shelf Browse

No Shelf Browse Data.

Top