Types for Proofs and Programs International Conference, TYPES 2007, Cividale del Friuli, Italy, May 2-5, 2007, Revised Selected Papers
著者 Marino Miculan
購入できます
東京から発送
国内無料配送
海外配送
配送時間とあなたの国への
配送料
の確認
| 出版社: | Springer |
| 発売日: | 26-May-2008 |
| ISBN: | 3540680845 |
| ISBN13: | 9783540680840 |
| 形式: | Paperback |
| 重量: | 400 gms |
| 書誌情報: | pp. 220, Illus. |
書籍タイトル "Types for Proofs and Programs International Conference, Tyers 2007, Cividale del Friuli, Italy, May 2-5, 2007, Revised Selected Papers" 著者 Marino Miculan. こちらの書籍が発行された年 2008. 書籍ＩＳＢＮ番号 3540680845|9783540680840 このタイトルは Paperback バージョンに割り当てられます 書籍の総ページ数 pp. vii + 203 (ページ) この書籍の出版社はこちらです Springer. 当サイトにはこちらの出版社から 98446 冊の素晴らしい書籍がございます