Typed Lambda Calculi and Applications: 6th International Conference, TLCA 2003, Valencia, Spain, June 10-12, 2003, Proceedings - Lecture Notes in Computer Science - Martin Hofmann - 書籍 - Springer-Verlag Berlin and Heidelberg Gm - 9783540403326 - 2003年5月27日
カバー画像とタイトルが一致しない場合、正しいのはタイトルです

Typed Lambda Calculi and Applications: 6th International Conference, TLCA 2003, Valencia, Spain, June 10-12, 2003, Proceedings - Lecture Notes in Computer Science 2003 edition

Martin Hofmann

価格
SFr. 44,49
税抜

遠隔倉庫からの取り寄せ

発送予定日 年12月2日 - 年12月12日
クリスマスプレゼントは1月31日まで返品可能です

お客様の声：

EU消費者保護法に基づく14日間の返品ポリシー
Trustpilotで高評価
iMusicのウィッシュリストに追加

The refereed proceedings of the 6th International Conference on Typed Lambda Calculi and Applications, TLCA 2003, held in Valencia, Spain in June 2003. The 21 revised full papers presented were carefully reviewed and selected from 40 submissions.

320 pages, biography

メディア 書籍     Paperback Book   (ソフトカバーで背表紙を接着した本)
リリース済み 2003年5月27日
ISBN13 9783540403326
出版社 Springer-Verlag Berlin and Heidelberg Gm
ページ数 320
寸法 155 × 235 × 17 mm   ·   498 g
言語 ドイツ語  
編集者 Hofmann, Martin
すべて表示

Martin Hofmannの他の作品を見る

Martin Hofmannのすべてを見る ( 例： Paperback Book , Hardcover Book , CD および Book )