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太秦南館:５階閲覧室
  • 007.609
  • F48
  •  
1039854508007591 利用可
図書（帯出可） 

選択行を：  

書誌詳細
刊年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
ISBN9783030411022
NCIDBC09797329

WebCatPlus を見る    CiNii Books を見る
▲ページトップへ