本文に飛ぶ
図書

Programming logics : essays in memory of Harald Ganzinger (Lecture notes in computer science ; 7797. Festschrift)

図書を表すアイコン

Programming logics : essays in memory of Harald Ganzinger

(Lecture notes in computer science ; 7797. Festschrift)

国立国会図書館請求記号
X
国立国会図書館書誌ID
024465238
資料種別
図書
著者
Andrei Voronkov, Christoph Weidenbach (eds.).
出版者
Springer
出版年
[2013]
資料形態
ページ数・大きさ等
viii, 445 pages ; 24 cm.
NDC
-
すべて見る

資料に関する注記

形態の詳細:

illustrations

書店で探す

書誌情報

この資料の詳細や典拠(同じ主題の資料を指すキーワード、著者名)等を確認できます。

資料種別
図書
ISBN
9783642376504
ISBN(エラーコード)
9783642376511
ISSN(シリーズ)
0302-9743
著者・編者
Andrei Voronkov, Christoph Weidenbach (eds.).