S Berardi
Types for Proofs and Programs: International Workshop, Types 2003, Torino, Italy, April 30 - May 4, 2003, Revised Selected Papers - Lecture Notes in Computer Science S Berardi

Name: Types for Proofs and Programs: International Workshop, Types 2003, Torino, Italy, April 30 - May 4, 2003, Revised Selected Papers - Lecture Notes in Computer Science
Price: 8617 JPY
Availability: OutOfStock
Author: S Berardi

価格

¥ 8.617

税抜

遠隔倉庫からの取り寄せ

発送予定日年9月30日 - 年10月12日

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

お客様の声：

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

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

Trustpilotで高評価

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

まだ評価がありません

Types for Proofs and Programs: International Workshop, Types 2003, Torino, Italy, April 30 - May 4, 2003, Revised Selected Papers - Lecture Notes in Computer Science

S Berardi

412 pages, biography

メディア	書籍 Paperback Book (ソフトカバーで背表紙を接着した本)
リリース済み	2004年6月15日
ISBN13	9783540221647
出版社	Springer-Verlag Berlin and Heidelberg Gm
ページ数	412
寸法	156 × 234 × 22 mm · 594 g
言語	ドイツ語