Yazar
moshe harel
4 cilt bulundu.
Cilt sonuçları
On the Power of Bounded Concurrency III: Reasoning about Programs
International Business Machines Corporation. Research Division, Mekhon Ṿaitsman le-madaʻ. Dept. of Applied Mathematics and Computer Science, David Harel, Roni Rosner, Moshe Y. Vardi · Yayınevi bilinmiyor
18 sayfa · 1990
Computer programs