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

UL

হোল্ডিংসের বিবরণ UL
ডাক সংখ্যা: 621.3.049.77 YOE
প্রতিলিপি বর্তমান অবস্থা অনুপলব্ধ

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