この商品を友人に教える:
Specification and Transformation of Programs: a Formal Approach to Software Development - Springer Texts in Electrical Engineering Helmut A. Partsch Softcover Reprint of the Original 1st Ed. 1990 edition
価格
¥ 10.773
税抜
遠隔倉庫からの取り寄せ
発送予定日 年8月11日 - 年8月27日
Helmut A. Partsch の新しいリリースのお知らせを受け取る
iMusicのウィッシュリストに追加
Specification and Transformation of Programs: a Formal Approach to Software Development - Springer Texts in Electrical Engineering
Helmut A. Partsch
An introductory textbook on formal specification and transformational programming as an approach to software development.
506 pages, biography
| メディア | 書籍 Paperback Book (ソフトカバーで背表紙を接着した本) |
| リリース済み | 1990年7月5日 |
| ISBN13 | 9783540525899 |
| 出版社 | Springer-Verlag Berlin and Heidelberg Gm |
| ページ数 | 506 |
| 寸法 | 170 × 242 × 26 mm · 707 g |
| 言語 | 英語 |