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
.

Verification, model checking, and abstract interpretation : 4th international conference, VMCAI 2003, New York, NY, USA, January 9-11, 2003 : proceedings / Lenore D. Zuck ... [et al.]

  • Linear

  • MARC

  •  
    QA76.76.V47
    V53 2003
     
    575259 (Shelf),BOK
    VMCAI 2003

         Verification, model checking, and abstract interpretation : 4th international conference, VMCAI 2003, New York, NY, USA, January 9-11, 2003 : proceedings. - Berlin. - New York , 2003.

         xi, 323 p. : ill. ; 24 cm Lecture notes in computer science ; 2575.

         ISBN 3540003487 (softcover : alk. paper).
         
         1. Computer programs - Congresses - Verification.I. Zuck, Lenore D.,1958- II. Title III. Series
         Library : UiTM Shah Alam
    Accn No.Item StatusAdd IdLocationSMDItem Category
    575259ShelfPERPUSTAKAAN KEJURUTERAAN TAR(P3)BOOKRAK TERBUKA (OPEN SHELVES)

Search In

Shelf Browse

No Shelf Browse Data.

Top