دانلود کتاب Verification of Systems and Circuits Using LOTOS, Petri Nets, and CCS (Wiley Series on Parallel and Distributed Computing)
by Michael Yoeli
|
عنوان فارسی: تایید سیستم ها و مدارهای با استفاده از LOTOS، پتری ، و CCS (ویلی سری محاسبات موازی و توزیع شده ) |