Towards formal specification and proof of finite element software within the ates development system /

Bewaard in:
Bibliografische gegevens
OCLC:49915372
Hoofdauteur: Cate, ten Eric
Coauteur: Universiteit Twente
Taal:English
Gepubliceerd in: Netherlands : 1963.
Onderwerpen:
software.
computer programming.
computer science.
applied mathematics.
Formaat:

Thesis Monograph

Note that CRL will digitize material from the collection when copyright allows.

Omschrijving
Fysieke beschrijving:236 p.
Plaats van publicatie:Netherlands.

Gelijkaardige items