Towards formal specification and proof of finite element software within the ates development system /
Sparad:
| OCLC: | 49915372 |
|---|---|
| Huvudupphovsman: | |
| Institutionell upphovsman: | |
| Språk: | English |
| Publicerad: |
Netherlands :
1963.
|
| Ämnen: | |
| Materialtyp: | Lärdomsprov Monograph Note that CRL will digitize material from the collection when copyright allows. |
| LEADER | 01221nam a22003377a 4500 | ||
|---|---|---|---|
| 001 | in00005627232 | ||
| 003 | OCoLC | ||
| 005 | 20020604083327.0 | ||
| 008 | 020604s1963 ne 000 0 eng d | ||
| 035 | |a (OCoLC)49915372 | ||
| 040 | |a CRL |c CRL | ||
| 049 | |a CRLL | ||
| 099 | |a P-00017957 | ||
| 100 | 1 | |a Cate, ten Eric. | |
| 245 | 1 | 0 | |a Towards formal specification and proof of finite element software within the ates development system / |c ten Eric Cate. |
| 264 | 1 | |a Netherlands : |c 1963. | |
| 300 | |a 236 p. | ||
| 336 | |a text |b txt |2 rdacontent. | ||
| 337 | |a unmediated |b n |2 rdamedia. | ||
| 338 | |a volume |b nc |2 rdacarrier. | ||
| 502 | |b Doctoral |c Universiteit Twente |d 1963. | ||
| 653 | |a software. | ||
| 653 | |a computer programming. | ||
| 653 | |a computer science. | ||
| 653 | |a applied mathematics. | ||
| 710 | 2 | |a Universiteit Twente. | |
| 752 | |a Netherlands. | ||
| 907 | |a .b15666384 |b 02-08-22 |c 06-04-02 | ||
| 998 | |a diss |b 06-04-02 |c m |d - |e - |f eng |g ne |h 0 |i 1 | ||
| 999 | f | f | |i dddf2f4f-00c4-5f9c-94e6-a8103a2c33c5 |s a9b4920b-6446-5155-bae4-b3d38b24ff08 |t 0 |