Towards formal specification and proof of finite element software within the ates development system /
Sábháilte in:
| OCLC: | 49915372 |
|---|---|
| Príomhchruthaitheoir: | |
| Údar corparáideach: | |
| Teanga: | English |
| Foilsithe / Cruthaithe: |
Netherlands :
1963.
|
| Ábhair: | |
| Formáid: | Tráchtas Monograph Note that CRL will digitize material from the collection when copyright allows. |