A Paradigm for Program Semantics: Power Structures and Duality - Studies in Logic, Language & Information - Chris Brink - 書籍 - Centre for the Study of Language & Infor - 9781575863443 - 2001年9月1日
カバー画像とタイトルが一致しない場合、正しいのはタイトルです

Chris Brink
A Paradigm for Program Semantics: Power Structures and Duality - Studies in Logic, Language & Information 第1 版

商品が入荷したらメールで通知を受け取る
プロフィールはありますか？ ログイン

お客様の声：

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

This text provides a synthesis of four versions of program semantics - relational semantics, predicate transformer semantics, information systems and domain theory - showing that is is possible to do back-and-forth translation from any of these versions of program semantics into any of the others.

286 pages

メディア 書籍     Paperback Book   (ソフトカバーで背表紙を接着した本)
リリース済み 2001年9月1日
ISBN13 9781575863443
出版社 Centre for the Study of Language & Infor
ページ数 286
寸法 150 × 220 × 10 mm   ·   397 g
言語 英語  

Chris Brinkの他の作品を見る

すべて表示

Mere med samme udgiver

Chris Brinkのすべてを見る ( 例： Paperback Book および Hardcover Book )