Thosten Altenkirch
Types for Proofs and Programs: International Workshop, TYPES 2006, Nottingham, UK, April 18-21, 2006, Revised Selected Papers - Theoretical Computer Science and General Issues Thosten Altenkirch 2007 edition

Name: Types for Proofs and Programs: International Workshop, TYPES 2006, Nottingham, UK, April 18-21, 2006, Revised Selected Papers - Theoretical Computer Science and General Issues
Price: 10373 JPY
Availability: OutOfStock
Author: Thosten Altenkirch

価格

¥ 10.373

税抜

遠隔倉庫からの取り寄せ

発送予定日年11月17日 - 年12月3日

クリスマスプレゼントは1月31日まで返品可能です

Thosten Altenkirch の新しいリリースのお知らせを受け取る

お客様の声：

Top-vurdering på Google Reviews, baseret på tusinder af anmeldelser.

EU消費者保護法に基づく14日間の返品ポリシー

Trustpilotで高評価

iMusicのウィッシュリストに追加

まだ評価がありません

Types for Proofs and Programs: International Workshop, TYPES 2006, Nottingham, UK, April 18-21, 2006, Revised Selected Papers - Theoretical Computer Science and General Issues

Thosten Altenkirch

2007 edition

The refereed post-proceedings of the International Workshop of the Types Working Group are presented in this volume. The 17 papers address all current issues in formal reasoning and computer programming based on type theory, including languages and computerized tools for reasoning;

272 pages, biography

メディア	書籍 Paperback Book (ソフトカバーで背表紙を接着した本)
リリース済み	2007年10月1日
ISBN13	9783540744634
出版社	Springer-Verlag Berlin and Heidelberg Gm
ページ数	272
寸法	155 × 235 × 15 mm · 421 g
言語	フランス語
編集者	Altenkirch, Thorsten
編集者	McBride, Conor