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
.

Model checking / Edmund M. Clarke, Jr., Orna Grumberg, and Doron A. Peled.

  • Linear

  • MARC

  •  
    QA76.76.V47
    C553 1999
     
    577991 (Shelf),BOK
    Clarke, E. M. , 1945-

         Model checking. - Cambridge, Mass. , 1999.

         xiv, 314 p. : ill. ; 24 cm.

         ISBN 0262032708 (alk. paper).
         
         1. Computer systems - Verification.I. Grumberg, Orna. II. Peled, Doron,1962- III. Title
         Library : UiTM Shah Alam; UITM Perlis
    Accn No.Item StatusAdd IdLocationSMDItem Category
    577991ShelfPERPUSTAKAAN SAINS DAN TEKNOLOGI TAR(P4)BOOKret

Search In

Shelf Browse

No Shelf Browse Data.

Top