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.
פורמט:	Thesis Monograph Note that CRL will digitize material from the collection when copyright allows.

תיאור	Local Call Number	סטטוס
	P-00017957	זמין

פריטים דומים