T. Streicher
Semantics of Type Theory: Correctness, Completeness and Independence Results - Progress in Theoretical Computer Science T. Streicher Softcover reprint of the original 1st ed. 1991 edition

Name: Semantics of Type Theory: Correctness, Completeness and Independence Results - Progress in Theoretical Computer Science
Price: 14353 JPY
Availability: OutOfStock
Author: T. Streicher

価格

¥ 14.353

税抜

遠隔倉庫からの取り寄せ

発送予定日年9月28日 - 年10月8日

T. Streicher の新しいリリースのお知らせを受け取る

お客様の声：

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

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

Trustpilotで高評価

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

まだ評価がありません

Semantics of Type Theory: Correctness, Completeness and Independence Results - Progress in Theoretical Computer Science

T. Streicher

Softcover reprint of the original 1st ed. 1991 edition

Types can be consid ered as weak specifications of programs and checking that a program is of a certain type provides a verification that a program satisfies such a weak speci fication.

299 pages, biography

メディア	書籍 Paperback Book (ソフトカバーで背表紙を接着した本)
リリース済み	2012年10月29日
ISBN13	9781461267577
出版社	Springer-Verlag New York Inc.
ページ数	299
寸法	156 × 234 × 17 mm · 444 g
言語	英語