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
.

Principles of the Spin model checker / Mordechai Ben-Ari

  • Linear

  • MARC

  •  
    QA76.76.V47
    B46 2008
     
    870527 (Shelf),BOK
    Ben-Ari, M.

         Principles of the Spin model checker. - London , 2008.

         xv, 216 p. : ill. ; 24 cm.

         ISBN 9781846287695 (pbk.)
         .-ISBN 1846287693 (pbk.).
         
         1. Computer software - Verification.I. Title
         Library : UiTM Shah Alam
    Accn No.Item StatusAdd IdLocationSMDItem Category
    870527ShelfPERPUSTAKAAN SAINS DAN TEKNOLOGI TAR(P4)BOOKRAK TERBUKA (OPEN SHELVES)

Search In

Shelf Browse

No Shelf Browse Data.

Top