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.

الوصف
وصف مادي:	236 p.
مكان النشر:	Netherlands.

مواد مشابهة