分享给好友:
Notations for Software Design - Formal Approaches to Computing & Information Technology (Facit) L. M. G. Feijs Softcover Reprint of the Original 1st Ed. 1994 edition
Notations for Software Design - Formal Approaches to Computing & Information Technology (Facit)
L. M. G. Feijs
An explanation of formal specification and design for software developers, which sets out the major stages of the software design process. The multi-spectrum language COLD-1, which supports many styles of specification, is used throughout the text.
425 pages, 7 black & white illustrations
| 介质类型 | 图书 Paperback Book (平装胶订图书) |
| 已发行 | 1994年10月19日 |
| ISBN13 | 9783540199021 |
| 出版商 | Springer-Verlag Berlin and Heidelberg Gm |
| 页数 | 425 |
| 商品尺寸 | 155 × 235 × 23 mm · 612 g |
| 语言 | 英语 |