67-5039-94 From Lambda Calculus to Cybersecurity Through Program Analysis 978-3-030-41102-2
仕様
- サブタイトル：Essays Dedicated to Chris Hankin on the Occasion of His Retirement
- 編者：Di Pierro, Alessandra/Malacaria, Pasquale/Nagarajan, Rajagopal
- 叢書名：Lecture Notes in Computer Science
- Vol. 12065
- 装丁：Paper
- 頁数他：XIV, 293 p. 177 illus., 48 illus. in color.
- 発行日：2020/02/15
- 分類：最適化一般
よくあるご質問（FAQ）
掲載カタログ情報
| 掲載カタログ名 | 掲載ページ |
|---|