ID:DA03267492
Workshop on Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency, School
同姓同名の著者を検索
J.W. de Bakker, W.-P. de Roever, G. Rozenberg (eds.)
Springer-Verlag c1989 Lecture notes in computer science 354
: gw , : us
所蔵館57館
AltStyle によって変換されたページ (->オリジナル) / アドレス: モード: デフォルト 音声ブラウザ ルビ付き 配色反転 文字拡大 モバイル