Towards formal specification and proof of finite element software within the ATES development system
door Herman Hendrik ten Cate
Bok Engelsk 1991
| Utgitt | [S.l.] : [s.n.] , [1991?]
|
|---|---|
| Omfang | 236 s. : ill.
|
| Opplysninger | Avh. (doktorgrad) - Universiteit Twente, 1991
|
| Emner | |
| ISBN | 9090043373
|
