Algebraic Approaches to Program Semantics - Monographs in Computer Science - Ernest G. Manes - 書籍 - Springer-Verlag New York Inc. - 9781461293774 - 2014年1月17日
カバー画像とタイトルが一致しない場合、正しいのはタイトルです

Ernest G. Manes
Algebraic Approaches to Program Semantics - Monographs in Computer Science 1986 edition

価格
¥ 14.753
税抜

遠隔倉庫からの取り寄せ

発送予定日 年7月13日 - 年7月23日

お客様の声：

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

An important approach to semantics, pioneered by Floyd, Hoare, and Wirth, is called assertion semantics: given a specification of which assertions (preconditions) on input data should guarantee that the results satisfy desired assertions (postconditions) on output data, one seeks a logical proof that the program satisfies its specification.

353 pages, biography

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

Mere med samme udgiver

Ernest G. Manesのすべてを見る ( 例： Paperback Book )