Predicate Calculus and Program Semantics - Monographs in Computer Science - Edsger W. Dijkstra - 書籍 - Springer-Verlag New York Inc. - 9781461279242 - 2011年9月26日
カバー画像とタイトルが一致しない場合、正しいのはタイトルです

Edsger W. Dijkstra
Predicate Calculus and Program Semantics - Monographs in Computer Science Softcover reprint of the original 1st ed. 1990 edition

価格
¥ 14.234
税抜

遠隔倉庫からの取り寄せ

発送予定日 年6月11日 - 年6月23日

お客様の声：

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

This booklet presents a reasonably self-contained theory of predicate trans former semantics. Predicate transformers were introduced by one of us (EWD) as a means for defining programming language semantics in a way that would directly support the systematic development of programs from their formal specifications.

220 pages, biography

メディア 書籍     Paperback Book   (ソフトカバーで背表紙を接着した本)
リリース済み 2011年9月26日
ISBN13 9781461279242
出版社 Springer-Verlag New York Inc.
ページ数 220
寸法 155 × 235 × 12 mm   ·   340 g
言語 英語  

Edsger W. Dijkstraの他の作品を見る

すべて表示

Mere med samme udgiver

Edsger W. Dijkstraのすべてを見る ( 例： Paperback Book )