First-Order Programming Theories - Monographs in Theoretical Computer Science. An EATCS Series - Tamas Gergely - 書籍 - Springer-Verlag Berlin and Heidelberg Gm - 9783540542773 - 1991年12月5日
カバー画像とタイトルが一致しない場合、正しいのはタイトルです

First-Order Programming Theories - Monographs in Theoretical Computer Science. An EATCS Series 1991 edition

価格
¥ 16.244
税抜

遠隔倉庫からの取り寄せ

発送予定日 年11月20日 - 年12月2日
クリスマスプレゼントは1月31日まで返品可能です
Tamas Gergely の新しいリリースのお知らせを受け取る
iMusicのウィッシュリストに追加

まだ評価がありません

他の形態でも入手可能:

This work presents a purely classical first-order logical approach to the field of study in theoretical computer science sometimes referred to as the theory of programs, or programming theory.


362 pages, biography

メディア 書籍     Hardcover Book   (ハードカバー付きの本)
リリース済み 1991年12月5日
ISBN13 9783540542773
出版社 Springer-Verlag Berlin and Heidelberg Gm
ページ数 353
寸法 170 × 244 × 20 mm   ·   689 g
言語 英語  

同じ出版社からのその他の記事