5 results
Type of media (3)
Availability (3)
Year
Persons
Publishers
Sort by
Results per page
Filter
5 results

Your search for Michael Yoeli

  1. Cover: Verification of Systems and Circuits Using LOTOS, Petri Nets, and CCS - Wiley
    Michael Yoeli | Rakefet Kol
    Verification of Systems and Circuits Using LOTOS, Petri Nets, and CCS
    04/2008
    Wiley
    9780470253397 (ISBN)
    E-Book
    PDF
    Other editions
    €121.99
    Available for download
  2. Cover: Verification of Systems and Circuits Using LOTOS, Petri Nets, and CCS - Wiley
    Michael Yoeli | Rakefet Kol
    Verification of Systems and Circuits Using LOTOS, Petri Nets, and CCS
    04/2008
    Wiley
    9780471704492 (ISBN)
    Book
    Hardback
    Other editions
    €138.50
    Article not available at the moment
  3. Cover: Verification of Systems and Circuits Using LOTOS, Petri Nets, and CCS - Wiley
    Michael Yoeli | Rakefet Kol
    Verification of Systems and Circuits Using LOTOS, Petri Nets, and CCS
    03/2008
    Wiley
    9780470253410 (ISBN)
    Software
    Other digital
    Other editions
    €175.43
    No shipping information available
  4. This image is currently not available.
    J. Brzozowski | Michael Yoeli
    Digital Networks
    06/1976
    Prentice Hall
    9780132141895 (ISBN)
    Book
    Hardback
    €23.93
    Exhausted; no reprint
  5. This image is currently not available.
    Michael Yoeli | Michael Yoeli
    Formal Verification of Hardware Design
    01/1990
    IEEE Computer Society Press,U.S.
    9780818690174 (ISBN)
    Book
    Paperback/Softback
    €93.16
    Exhausted, reprint undefined