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
.

An introduction to practical formal methods using temporal logic / Michael Fisher

  • Linear

  • MARC

  •  
    QA267.5.T45
    F57 2011
     
    934793 (Shelf),BOK
    Fisher, Michael , 1962-

         An introduction to practical formal methods using temporal logic. - Chichester, West Sussex, UK , 2011.

         vi, 353 p. : ill. ; 25 cm.

         ISBN 9780470027882 (cloth).
         
         1. Temporal automata 2. Logic, Symbolic and mathematical.I. Title
         Library : UiTM Shah Alam
    Accn No.Item StatusAdd IdLocationSMDItem Category
    934793ShelfPERPUSTAKAAN KEJURUTERAAN TAR(P3)BOOKRAK TERBUKA (OPEN SHELVES)

Search In

Shelf Browse

No Shelf Browse Data.

Top