Formal Descriptions of Developing Systems
NATO Science Series II: Mathematics, Physics and Chemistry
NATO Advanced Research Workshop on Formal Descriptions of Developing S
- 出版社：Kluwer Academic Pub
- 出版年月：2003年 11月
- ISBN：9781402015670
- 装丁：HRD
-
装丁について
- 言語：ENG
- 巻数・ページ数：306 p.
- DDC分類：501
- 内容紹介：
-
A cutting-edge survey of formal methods directed specifically at dealing with the deep mathematical problems engendered by the study of developing systems, in particular dealing with developing phase spaces, changing components, structures and functionalities, and more.