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
.

Reactive systems : modelling, specification and verification / Luca Aceto ... [et al.]

  • Linear

  • MARC

  •  
    QA76.76.E95
    R39 2007
     
    829775 (Shelf),BOK
    Reactive systems : modelling, specification and verification. - Cambridge. - New York , 2007.

         xvi, 284 p. : ill. ; 26 cm.

         ISBN 9780521875462 (hbk.)
         .-ISBN 0521875463 (hbk.).
         
         1. Expert systems (Computer science) - Validation 2. System design - Mathematical models.I. Aceto, Luca II. Anna Ingaolfsdaottir - 1952 III. Larsen,K. G. - 1957 IV. Srba, Jieri - 1957 V. Title
         Library : UiTM Shah Alam
    Accn No.Item StatusAdd IdLocationSMDItem Category
    829775ShelfPERPUSTAKAAN SAINS DAN TEKNOLOGI TAR(P4)BOOKRAK TERBUKA (OPEN SHELVES)

Search In

Shelf Browse

No Shelf Browse Data.

Top