Programs, Recursion and Unbounded Choice - Cambridge Tracts in Theoretical Computer Science - Wim H. Hesselink - 書籍 - Cambridge University Press - 9780521018296 - 2005年8月22日
カバー画像とタイトルが一致しない場合、正しいのはタイトルです

Wim H. Hesselink
Programs, Recursion and Unbounded Choice - Cambridge Tracts in Theoretical Computer Science

価格
¥ 10.728
税抜

遠隔倉庫からの取り寄せ

発送予定日 年10月2日 - 年10月20日
Wim H. Hesselink の新しいリリースのお知らせを受け取る

お客様の声：

EU消費者保護法に基づく14日間の返品ポリシー
Trustpilotで高評価
iMusicのウィッシュリストに追加

まだ評価がありません

A complete account of the predicate transformation calculus semantics of sequential programs.

240 pages, black & white illustrations

メディア 書籍     Paperback Book   (ソフトカバーで背表紙を接着した本)
リリース済み 2005年8月22日
ISBN13 9780521018296
出版社 Cambridge University Press
ページ数 240
寸法 170 × 245 × 12 mm   ·   385 g
言語 英語  
シリーズ編集者 Abramsky, S.
シリーズ編集者 Aczel, P. H.
シリーズ編集者 Bakker, J. W. De
シリーズ編集者 Gurevich, Y.
シリーズ編集者 Tucker, J. V.
シリーズ編集者 Van Rijsbergen, C. J.

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

Wim H. Hesselinkのすべてを見る