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
.

Petri nets for systems engineering : a guide to modeling, verification, and applications / Claude Girault, R?udiger Valk

  • Linear

  • MARC

  •  
    QA76.9.F67
    G57 2003
     
    575322 (Shelf),BOK
    Girault, Claude

         Petri nets for systems engineering : a guide to modeling, verification, and applications.

         xvi, 607 pages : illustrations ; 25 cm.

         ISBN 3540412174.
         
         1. Formal methods (Computer science) 2. Systems engineering 3. Petri nets.I. Valk, Rudiger II. Title
         Library : UiTM Shah Alam; UITM Pahang
    Accn No.Item StatusAdd IdLocationSMDItem Category
    575322ShelfPERPUSTAKAAN KEJURUTERAAN TAR(P3)BOOKRAK TERBUKA (OPEN SHELVES)
    593552ShelfPERPUSTAKAAN KEJURUTERAAN TAR(P3)BOOKRAK TERBUKA (OPEN SHELVES)

Search In

Shelf Browse

No Shelf Browse Data.

Top