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

Kaydedildi:
Detaylı Bibliyografya
OCLC:49915372
Yazar: Cate, ten Eric
Müşterek Yazar: Universiteit Twente
Dil:English
Baskı/Yayın Bilgisi: Netherlands : 1963.
Konular:
software.
computer programming.
computer science.
applied mathematics.
Materyal Türü:

Tez Monograph

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

Diğer Bilgiler
Fiziksel Özellikler:236 p.
Yayın Yeri:Netherlands.

Benzer Materyaller