図書

Certified programs and proofs : first international conference, CPP 2011 : Kenting, Taiwan, December 7-9, 2011 : proceedings : APLAS/CPP : Dec 2011, Kenting, Taiwan. (Lecture Notes in Computer Science ; 7086)

図書を表すアイコン

Certified programs and proofs : first international conference, CPP 2011 : Kenting, Taiwan, December 7-9, 2011 : proceedings : APLAS/CPP : Dec 2011, Kenting, Taiwan.

(Lecture Notes in Computer Science ; 7086)

国立国会図書館請求記号
M17-12-1779
国立国会図書館書誌ID
023270409
資料種別
図書
著者
CPP 2011 (2011 : Kʻen-ting, Taiwan)ほか
出版者
Springer
出版年
c2011.
資料形態
紙
ページ数・大きさ等
xv, 399 p. ; 24 cm.
NDC
-
すべて見る

資料に関する注記

一般注記：

Papers and an abstract."CPP 2011 was organized in Kenting, (...) together with APLAS." -- pref.

形態の詳細：

ill.

書店で探す

書店で探す

書店で探す

書誌情報

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

紙

資料種別
図書
ISBN
9783642253799 (e-ISBN)
9783642253782
ISSN
16113349 (e-ISSN)
ISSN（シリーズ）
03029743
タイトル
Certified programs and proofs : first international conference, CPP 2011 : Kenting, Taiwan, December 7-9, 2011 : proceedings : APLAS/CPP : Dec 2011, Kenting, Taiwan.
シリーズタイトル
Lecture Notes in Computer Science ; 7086
タイトル標目
Lecture notes in computer science ; 7086.
LNCS sublibrary. SL 1, Theoretical computer science and general issues.
著者標目
CPP 2011 (2011 : Kʻen-ting, Taiwan)
Jouannaud, Jean-Pierre.
Shao, Zhong, 1968-
出版事項
Berlin : Springer
New York : Springer
出版年月日等
c2011.