ログイン
ヘルプ
×終了
日本語
|
English
検索
ブックマーク
マイライブラリ
From lambda calculus to cybersecurity through program analysis : essays dedicated to Chris Hankin on the occasion of his retirement
書誌情報:From lambda calculus to cybersecurity through program analysis : essays dedicated to Chris Hankin on the occasion of his retirement
Alessandra Di Pierro, Pasquale Malacaria, Rajagopal Nagarajan (eds.)
Cham : Springer , c2020
xiv, 291 p. : ill., port. ; 24 cm
WebCatPlus を見る
CiNii Books を見る
所蔵一覧
巻号
予約人数
所在
請求記号
登録番号
資料ID
状態
貸出区分
備考
1
0
太秦南館:5階閲覧室
007.609
F48
10398545
08007591
利用可
図書(帯出可)
選択行を:
書誌詳細
刊年
2020
形態
xiv, 291 p. : ill., port. ; 24 cm
シリーズ名
Lecture notes in computer science
; 12065[festschrift]
注記
Includes bibliographical references and index
出版国
スイス
標題言語
英語
本文言語
英語
著者情報
Di Pierro, Alessandra
Malacaria, Pasquale
Nagarajan, Rajagopal
ISBN
9783030411022
NCID
BC09797329
WebCatPlus を見る
CiNii Books を見る
▲ページトップへ
動画を再生するにはvideoタグをサポートしたブラウザが必要です。