Books
1 results found| Title | Authors | Description | OpenBook ID | |
|---|---|---|---|---|
|
Formal Descriptions of Developing Systems | Irina Trofimova | 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… | OL19850812W |