লোডিং...

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

গ্রন্থ-পঞ্জীর বিবরন
প্রধান লেখক:	Yoeli, Michael
বিন্যাস:	Printed Book
ভাষা:	English
প্রকাশিত:	New Jersey John Wiley & Sons 2008
বিষয়গুলি:	Integrated circuits - Verification > Computer software - Verification > LOTOS (computer programmes language) > Petri nets

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