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.
所蔵館27館
AltStyle によって変換されたページ (->オリジナル) / アドレス: モード: デフォルト 音声ブラウザ ルビ付き 配色反転 文字拡大 モバイル