Author books / Книги автора Yoeli Michael,Kol Rakefet » Online Library TheLib.net

Online Library TheLib.net » Author books / Книги автора Yoeli Michael,Kol Rakefet

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

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

pdf

Author: Yoeli Michael, Kol Rakefet
Language: English
Year: 2008

00

27.01.2024

0

0