分享给好友:
Formal Methods and Object Technology - Formal Approaches to Computing and Information Technology (FACIT) S J Goldsack Softcover reprint of the original 1st ed. 1996 edition
Formal Methods and Object Technology - Formal Approaches to Computing and Information Technology (FACIT)
S J Goldsack
Rationale Software engineering aims to develop software by using approaches which en able large and complex program suites to be developed in a systematic way.
388 pages, biography
| 介质类型 | 图书 Paperback Book (平装胶订图书) |
| 已发行 | 1996年4月26日 |
| ISBN13 | 9783540199779 |
| 出版商 | Springer-Verlag Berlin and Heidelberg Gm |
| 页数 | 368 |
| 商品尺寸 | 155 × 235 × 20 mm · 539 g |
| 语言 | 德语 |
| 编辑 | Goldsack, Stephen J. |
| 编辑 | Kent, Stuart J.H. |