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
Шошгууд:	Шошго нэмэх Шошго байхгүй, Энэхүү баримтыг шошголох эхний хүн болох!

Хамгийн түрүүнд сэтгэгдэл үлдээх!