Author: Michael Yoeli
Author's info and books
Information about author Michael Yoeli from several data sources.
AI-generated bio of "Michael Yoeli":
Books Results
Source: The Open Library
Michael Yoeli Books
Books writen by author Michael Yoeli from The Open Library
1Formal verification of hardware design
By Michael Yoeli
“Formal verification of hardware design” Metadata:
- Title: ➤ Formal verification of hardware design
- Author: Michael Yoeli
- Language: English
Access and General Info:
- First Year Published: 1990
- Is Full Text Available: Yes
- Is The Book Public: No
- Access Status: Borrowable
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
- Borrowing from Open Library: Borrowing link
- Borrowing from Archive.org: Borrowing link
Online Marketplaces
Find Formal verification of hardware design at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
2Verification of systems and circuits using LOTOS, Petri Nets, and CCS
By Michael Yoeli, Michael Yoeli and Rakefet Kol
“Verification of systems and circuits using LOTOS, Petri Nets, and CCS” Metadata:
- Title: ➤ Verification of systems and circuits using LOTOS, Petri Nets, and CCS
- Authors: Michael YoeliMichael YoeliRakefet Kol
- Language: English
Access and General Info:
- First Year Published: 2008
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Marketplaces
Find Verification of systems and circuits using LOTOS, Petri Nets, and CCS at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.