English
Unordered
Concurrency Theory: Calculi and Automata for Modelling Untimed and Timed Concurrent Systems
Howard Bowman,Rodolfo Gomez
2005
مشاهدهٔ کتاب
کشف منابع
Calculi
کتابها
1 نتیجه