NUST Institutions Library Catalogue catalog › Details for: Formal Analysis of Homogeneous Linear Differential Equations Using Theorem Proving /

Normal view MARC view ISBD view

Formal Analysis of Homogeneous Linear Differential Equations Using Theorem Proving / Muhammad Usman Sanwal.

By: Muhammad Usman SanwalContributor(s): Dr. Osman Hasan Material type: Text

TextPublisher: Islamabad : RCMS - NUST, 2012Description: ix, 50 p. ill. ; 30cmSubject(s): Computational Science And Engineering - MS ThesisDDC classification: 004

Tags from this library: No tags from this library for this title. Log in to add tags.

Item type	Current location	Home library	Shelving location	Call number	Status	Date due	Barcode	Item holds
Thesis	Central Library (CL)	Central Library (CL)	Thesis	004 (Browse shelf)	Available		CL-T-5589

Total holds: 0

There are no comments on this title.

to post a comment.