Typed Lambda Calculi and Applications 9th International Conference, TLCA 2009, Brasilia, Brazil, July 1-3, 2009, Proceedings
著者 Pierre-Louis Curien
購入できます
東京から発送
国内無料配送
海外配送
配送時間とあなたの国への
配送料
の確認
| 出版社: | Springer |
| 発売日: | 08-Jun-2009 |
| ISBN: | 3642022723 |
| ISBN13: | 9783642022722 |
| 形式: | Paperback |
| 重量: | 735 gms |
| 書誌情報: | pp. xiii + 415, Illus. |
書籍タイトル "Typed Lambda Calculi and Applications 9th International Conference, TLCA 2009, Brasilia, Brazil, July 1-3, 2009, Proceedings" 著者 Pierre-Louis Curien. こちらの書籍が発行された年 2009. 書籍ＩＳＢＮ番号 3642022723|9783642022722 このタイトルは Paperback バージョンに割り当てられます 書籍の総ページ数 pp. xiii + 417 (ページ) この書籍の出版社はこちらです Springer. 当サイトにはこちらの出版社から 98376 冊の素晴らしい書籍がございます