Verification of Systems and Circuits Using LOTOS, Petri Nets, and CCS

שמור ב:

מידע ביבליוגרפי
מחבר ראשי:	Yoeli, Michael
מחברים אחרים:	Kol, Rakefet
יצא לאור:	John Wiley & Sons, Incorporated
נושאים:	UMZ Computers Integrated circuits > Verification Computer programming Computer science UPD Parallel processing Computer engineering Distributed control systems Design LOTOS (Computer program language) Engineering Petri nets Electrical engineering Integrated circuits > Verification. ; Computer software > Verification. ; LOTOS (Computer program language) ; Petri nets. Computer software > Verification
גישה מקוונת:	Full Text - Ebook
תגים:	הוספת תג אין תגיות, היה/י הראשונ/ה לתייג את הרשומה!

היה/י הראשונ/ה לכתוב הערה!