Stefano Berardi
Types for Proofs and Programs: International Conference, TYPES 2008 Torino, Italy, March 26-29, 2008 Revised Selected Papers - Theoretical Computer Science and General Issues Stefano Berardi 2009 edition

Name: Types for Proofs and Programs: International Conference, TYPES 2008 Torino, Italy, March 26-29, 2008 Revised Selected Papers - Theoretical Computer Science and General Issues
Price: 8492 JPY
Availability: OutOfStock
Author: Stefano Berardi

価格

¥ 8.492

税抜

遠隔倉庫からの取り寄せ

発送予定日年11月25日 - 年12月7日

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

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

お客様の声：

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

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

Trustpilotで高評価

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

まだ評価がありません

Types for Proofs and Programs: International Conference, TYPES 2008 Torino, Italy, March 26-29, 2008 Revised Selected Papers - Theoretical Computer Science and General Issues

Stefano Berardi

2009 edition

These proceedings contain a selection of refereed papers presented at or - lated to the Annual Workshop of the TYPES project (EU coordination action 510996), which was held during March 26-29, 2008 in Turin, Italy.

331 pages, Illustrations

メディア	書籍 Paperback Book (ソフトカバーで背表紙を接着した本)
リリース済み	2009年6月19日
ISBN13	9783642024436
出版社	Springer-Verlag Berlin and Heidelberg Gm
ジャンル	Aspects (Academic) > Science / Technology Aspects
ページ数	323
寸法	155 × 235 × 20 mm · 498 g
言語	フランス語
編集者	Berardi, Stefano
編集者	Damiani, Ferruccio
編集者	De Liguoro, Ugo