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.

অনুরূপ উপাদানগুলি