ID:DA01234506
Advanced Study Institute on Logics and Models of Concurrent Systems, NATO
Institute on Logics and Models of Concurrent Systems, NATO Advanced Study
同姓同名の著者を検索
edited by Krzysztof R. Apt
Springer-Verlag c1985 NATO ASI series ser. F . Computer and systems sciences ; v. 13
: Germany , : U.S.
所蔵館28館