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

গ্রন্থ-পঞ্জীর বিবরন
প্রধান লেখক: Yoeli, Michael
ভাষা:English
প্রকাশিত: New Jersey John Wiley & Sons 2008
বিষয়গুলি:
Integrated circuits - Verification > Computer software - Verification > LOTOS (computer programmes language) > Petri nets
বিবরন
উপাদানের বিবরণ:
দৈহিক বর্ননা:xv,231p
আইসবিএন:9780471704492

অনুরূপ উপাদানগুলি