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

Specification and Transformation of Programs: a Formal Approach to Software Development - Springer Texts in Electrical Engineering Softcover Reprint of the Original 1st Ed. 1990 edition

価格
¥ 10.773
税抜

遠隔倉庫からの取り寄せ

発送予定日 年8月11日 - 年8月27日
Helmut A. Partsch の新しいリリースのお知らせを受け取る
iMusicのウィッシュリストに追加

まだ評価がありません

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
言語 英語  

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