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
.

Verification of systems and circuits using LOTOS, Petri Nets, and CCS / by Michael Yoeli and Rakefet Kol

  • Linear

  • MARC

  •  
    TK7874.58
    .Y64 2008
     
    825515 (Shelf),BOK
    Yoeli, Michael , 1917-

         Verification of systems and circuits using LOTOS, Petri Nets, and CCS. - Hoboken, NJ , 2008.

         xv, 231 p. : ill. ; 25 cm Wiley series on parallel and distributed computing.

         ISBN 9780471704492 (cloth)
         .-ISBN 0471704490 (cloth).
         
         1. Integrated circuits - Verification 2. Computer software - Verification 3. LOTOS (Computer program language) 4. Petri nets - Verification.I. Kol, Rakefet II. Title III. Series
         Library : UiTM Shah Alam
    Accn No.Item StatusAdd IdLocationSMDItem Category
    825515ShelfPERPUSTAKAAN KEJURUTERAAN TAR(P3)BOOKRAK TERBUKA (OPEN SHELVES)

Search In

Shelf Browse

No Shelf Browse Data.

Top