Verification of systems and circuits using LOTOS, Petri Nets, and CCS

Saved in:

書目詳細資料
主要作者:	Yoeli, Michael, 1917-
企業作者:	ebrary, Inc
其他作者:	Kol, Rakefet
格式:	電子電子書
語言:	英语
出版:	Hoboken, N.J. : Wiley-Interscience, c2008.
叢編:	Wiley series on parallel and distributed computing.
主題:	Integrated circuits > Verification. Computer software > Verification. LOTOS (Computer program language) Petri nets. Electronic books.
在線閱讀:	An electronic book accessible through the World Wide Web; click to view
標簽:	添加標簽沒有標簽, 成為第一個標記此記錄!

因特網