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
.

Compositional verification of concurrent and real-time systems / by Eric Y.T. Juan, Jeffrey J.P. Tsai.

  • Linear

  • MARC

  •  
    QA76.58
    .J83 2002
     
    578030 (Shelf),BOK
    Juan, Eric Y. T.

         Compositional verification of concurrent and real-time systems. - Boston , 2002.

         xvii, 196 p. : ill. ; 25 cm. The Kluwer international series in engineering and computer science ; SECS 676.

         ISBN 140207025X (alk. paper).
         
         1. Computer systems - Verification. 2. Real-time data processing. 3. Parallel processing (Electronic computers).I. Tsai, Jeffrey J.-P. II. Title III. Series
         Library : UiTM Shah Alam
    Accn No.Item StatusAdd IdLocationSMDItem Category
    578030ShelfPERPUSTAKAAN SAINS DAN TEKNOLOGI TAR(P4)BOOKRAK TERBUKA (OPEN SHELVES)
    578031ShelfPERPUSTAKAAN SAINS DAN TEKNOLOGI TAR(P4)BOOKRAK TERBUKA (OPEN SHELVES)

Search In

Shelf Browse

No Shelf Browse Data.

Top