Program Development by Refinement: Case Studies Using the B Method - Formal Approaches to Computing and Information Technology (FACIT) - Kaisa Sere - 書籍 - Springer London Ltd - 9781852330538 - 1998年10月23日
カバー画像とタイトルが一致しない場合、正しいのはタイトルです

Kaisa Sere
Program Development by Refinement: Case Studies Using the B Method - Formal Approaches to Computing and Information Technology (FACIT) 1999 edition

価格
¥ 32.508
税抜

遠隔倉庫からの取り寄せ

発送予定日 年6月8日 - 年6月18日

お客様の声：

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

The Idea of Program Refinement Programs are complex. An approach, advocated for a long time, is to separate a concise specification of a program - the "what" - from a possibly involved implementation - the "how". Yet the specification of the graphical layout is secondary compared to the specification of the possible transactions.

364 pages, biography

メディア 書籍     Paperback Book   (ソフトカバーで背表紙を接着した本)
リリース済み 1998年10月23日
ISBN13 9781852330538
出版社 Springer London Ltd
ページ数 364
寸法 155 × 235 × 19 mm   ·   530 g
言語 英語  
編集者 Sekerinski, Emil
編集者 Sere, Kaisa

Kaisa Sereのすべてを見る ( 例： Paperback Book )