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
.

VDM '90 : VDM and Z - formal methods in software development : proceedings of the ... held April 17-21, 1990 / editors, D. Bjorner, C. A. R. Hoare, H. Langmaack

  • Linear

  • MARC

  •  
    QA76.76.D47
    I58 1990
     
    312971 (Shelf),BOK
    International Symposium of VDM Europe

         VDM '90 : VDM and Z - formal methods in software development : proceedings of the ... held April 17-21, 1990. - Berlin , 1990.

         xvii, 579 p. : ill. ; 24 cm Lecture notes in computer science 428.

         ISBN 3540525130.
         
         1. Computer software - Congresses - Development.I. Bjorner, D.,1937- II. Hoare, C.A.R.,1934- III. Langmaack, Hans IV. Title V. Series
         Library : UiTM Shah Alam
    Accn No.Item StatusAdd IdLocationSMDItem Category
    312971ShelfPERPUSTAKAAN TUN ABDUL RAZAK(P1)BOOKRAK TERBUKA (OPEN SHELVES)

Search In

Shelf Browse

No Shelf Browse Data.

Top