Specification and Transformation of Programs: A Formal Approach to Software Development - Monographs in Computer Science - Helmut A. Partsch - 書籍 - Springer-Verlag Berlin and Heidelberg Gm - 9783540523567 - 1990年7月5日
カバー画像とタイトルが一致しない場合、正しいのはタイトルです

Helmut A. Partsch
Specification and Transformation of Programs: A Formal Approach to Software Development - Monographs in Computer Science 1990 edition

価格
¥ 10.489
税抜

遠隔倉庫からの取り寄せ

発送予定日 年9月1日 - 年9月17日
Helmut A. Partsch の新しいリリースのお知らせを受け取る

お客様の声：

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

まだ評価がありません

"Specification and transformation of programs" is short for a methodology of software development where, from a formal specification of a problem to be solved, programs correctly solving that problem are constructed by stepwise application of formal, semantics-preserving transformation rules.

493 pages, biography

メディア 書籍     Hardcover Book   (ハードカバー付きの本)
リリース済み 1990年7月5日
ISBN13 9783540523567
出版社 Springer-Verlag Berlin and Heidelberg Gm
ページ数 493
寸法 178 × 254 × 28 mm   ·   1,11 kg
言語 英語  

同じ出版社からのその他の記事

Helmut A. Partschのすべてを見る ( 例： Hardcover Book および Paperback Book )