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
.

Temporal logic in specification. Proceedings of the ... / edited by B. Baniegbal, H. Barringer and A. Pnueli

  • Linear

  • MARC

  •  
    QA76.76.D63
    I58 1989
     
    301858 (In Transit),BOK
    IEEE Symposium on Foundations of computer of the ..., edited by B. Baniegbal, H. Barringer and A. Pnueli

         Temporal logic in specification. Proceedings of the .... - Berlin , l989.

         448 p. : ill Lecture notes in computer science v.398.

         ISBN 3540518037.
         
         1. Logic, symbolic and mathematical 2. System design.I. Baniegbal, B II. Barringer, H III. Pnueli, A IV. Title V. Series
         Library : UiTM Shah Alam
    Accn No.Item StatusAdd IdLocationSMDItem Category
    301858In TransitPTAR JLN OTHMAN(JO)BOOKRAK TERBUKA (OPEN SHELVES)

Search In

Shelf Browse

No Shelf Browse Data.

Top