Herman Geuvers
Types for Proofs and Programs: Second International Workshop, Types 2002, Berg en Dal, the Netherlands, April 24-28, 2002, Selected Papers - Lecture Notes in Computer Science Herman Geuvers

Name: Types for Proofs and Programs: Second International Workshop, Types 2002, Berg en Dal, the Netherlands, April 24-28, 2002, Selected Papers - Lecture Notes in Computer Science
Price: 8659 JPY
Availability: OutOfStock
Author: Herman Geuvers

価格

¥ 8.659

税抜

遠隔倉庫からの取り寄せ

発送予定日年10月12日 - 年10月22日

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

お客様の声：

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

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

Trustpilotで高評価

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

まだ評価がありません

Types for Proofs and Programs: Second International Workshop, Types 2002, Berg en Dal, the Netherlands, April 24-28, 2002, Selected Papers - Lecture Notes in Computer Science

Herman Geuvers

680 pages, biography

メディア	書籍 Paperback Book (ソフトカバーで背表紙を接着した本)
リリース済み	2003年4月28日
ISBN13	9783540140313
出版社	Springer-Verlag Berlin and Heidelberg Gm
ページ数	680
寸法	156 × 234 × 18 mm · 480 g
言語	ドイツ語
編集者	Geuvers, Herman
編集者	Wiedijk, Freek