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
.

Formal methods for real-time computing / edited by Constance Heitmeyer and Dino Mandrioli

  • Linear

  • MARC

  •  
    QA76.54
    .F64 1996
     
    431755 (Shelf),BOK
    Formal methods for real-time computing. - Chichester , 1996.

         xvii, 271 p. : ill. ; 24 cm.

         ISBN 0471958352.
         
         1. Real-time data processing.I. Heitmeyer, Constance II. Mandrioli, Dino III. Title
         Library : UiTM Shah Alam
    Accn No.Item StatusAdd IdLocationSMDItem Category
    431755ShelfPERPUSTAKAAN TUN ABDUL RAZAK(P1)BOOKRAK TERBUKA (OPEN SHELVES)

Search In

Shelf Browse

No Shelf Browse Data.

Top