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

محفوظ في:

التفاصيل البيبلوغرافية
OCLC:	49915372
المؤلف الرئيسي:	Cate, ten Eric
مؤلف مشترك:	Universiteit Twente
اللغة:	English
منشور في:	Netherlands : 1963.
الموضوعات:	software. computer programming. computer science. applied mathematics.
التنسيق:	أطروحة Monograph Note that CRL will digitize material from the collection when copyright allows.

الوصف	Local Call Number	الحالة
	P-00017957	متاح

مواد مشابهة