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
.

FME 2001 : formal methods for increasing software productivity / Jose Nuno Oliveira, Pamela Zave, [editors]

  • Linear

  • MARC

  •  
    QA76.76.D47
    I593 2001
     
    518984 (Shelf),BOK
    International Symposium of Formal Methods Europe

         FME 2001 : formal methods for increasing software productivity. - Berlin , 2001.

         xiii, 628 p. : ill. ; 24 cm Lecture notes in computer science v. 2021.

         ISBN 3540417915.
         
         1. Computer software - Congresses - Development.I. Oliveira, Jose Nuno II. Zave, Pamela,1948- III. Title IV. Series
         Library : UiTM Shah Alam
    Accn No.Item StatusAdd IdLocationSMDItem Category
    518984ShelfPERPUSTAKAAN SAINS DAN TEKNOLOGI TAR(P4)BOOKRAK TERBUKA (OPEN SHELVES)
    519976ShelfPERPUSTAKAAN SAINS DAN TEKNOLOGI TAR(P4)BOOKRAK TERBUKA (OPEN SHELVES)

Search In

Shelf Browse

No Shelf Browse Data.

Top