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
.

Specifying message passing and time-critical systems with temporal logic / R. Koymans

  • Linear

  • MARC

  •  
    TK5105
    .K69 1992
     
    338573 (Shelf),BOK
    Koyman, R.

         Specifying message passing and time-critical systems with temporal logic. - Berlin. - New York , 1992.

         viii, 164 p. : ill. ; 21 cm Lecture notes in computer science 651.

         ISBN 0387562834.
         
         1. Logic, Symbolic and mathematical 2. Data transmission systems.I. Title II. Series
         Library : UiTM Shah Alam
    Accn No.Item StatusAdd IdLocationSMDItem Category
    338573ShelfPERPUSTAKAAN KEJURUTERAAN TAR(P3)BOOKret

Search In

Shelf Browse

No Shelf Browse Data.

Top