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
.

Modeling and verification of real-time systems : formalisms and software tools / edited by Stephan Merz, Nicolas Navet

  • Linear

  • MARC

  •  
    QA76.54
    .M635 2008
     
    825626 (Shelf),BOK
    Modeling and verification of real-time systems : formalisms and software tools. - London , 2008.

         393 p. : ill. ; 25 cm.

         ISBN 9781848210134
         .-ISBN 1848210132.
         
         1. Real-time data processing 2. Computer software - Verification 3. Formal methods (Computer science).I. Navet, Nicolas II. Merz, Stephan III. Title
         Library : UiTM Shah Alam; UITM Sarawak
    Accn No.Item StatusAdd IdLocationSMDItem Category
    825626ShelfPERPUSTAKAAN KEJURUTERAAN TAR(P3)BOOKRAK TERBUKA (OPEN SHELVES)

Search In

Shelf Browse

No Shelf Browse Data.

Top