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.

Borrow this resource

Item List

Diğer Bilgiler Local Call Number Durum
P-00017957 Kütüphanede

Benzer Materyaller