カバー画像とタイトルが一致しない場合、正しいのはタイトルです

この商品を友人に教える:

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

プロフィールはありますか？ログイン

クリスマスプレゼントは1月31日まで返品可能です

Wim H. Hesselink の新しいリリースのお知らせを受け取る

お客様の声：

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

まだ評価がありません

Programs, Recursion and Unbounded Choice - Cambridge Tracts in Theoretical Computer Science

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

235 pages, illustrations

メディア	書籍 Hardcover Book (ハードカバー付きの本)
リリース済み	1992年5月21日
ISBN13	9780521404365
出版社	Cambridge University Press
ページ数	235
寸法	179 × 256 × 16 mm · 578 g