NUST Institutions Library Catalogue catalog › Details for: Formal Dependability analysis using higher-order-logic theorem proving/

Normal view MARC view ISBD view

Formal Dependability analysis using higher-order-logic theorem proving/ Waqar Ahmad

By: Ahmad Waqar Contributor(s): Supervisors:Dr. Osman Hasan Material type: Text

TextPublisher: Islamabad NUST-SEECS 2017Description: 181p. CD IncludesDDC classification: 200 Online resources: Click here to access online In: Ahmad, Waqar Formal Dependability Analysis using Higher-order-logic Theorem Proving

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
Soft Copy	Central Library (CL)	Central Library (CL)	Thesis	200 (Browse shelf)	Available		CLPT-52

Total holds: 0

There are no comments on this title.

to post a comment.