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): Supervisor:Dr. Osman Hasan Material type: Text

TextPublisher: Islamabad: SEECS - NUST, 2017Description: ix, 181 p.: ill.; 30cm. +CDSubject(s): PhD-Information TechnologyDDC classification: 200 Online resources: Click here to access online

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

Total holds: 0

Previous	No cover image available	No cover image available	No cover image available	No cover image available	No cover image available	No cover image available	No cover image available	Next
Previous	200 ROLLOVER MITIGATION CONTROLLER DEVELOPMENT FOR A THREE WHEELED PLATFORM /	200 Trajectory Based Predictive Modeling for Clinical Decision Support in Mild Cognitive Impairment-to-Alzheimer's Disease Conversion /	200 Grouping and Layout Generation for Irregular Shapes cutting stock problem /	200 Formal Dependability Analysis using Higher-order-logic Theorem Proving /	200 LEARNING TECHNOLOGIES FOR DISABLED /	200 Application of Fuzzy Ontology in Image Retrieval /	200 MOBILE AGENT ORIENTED ONTOLOGY BASED POLICIES FOR HONEY-BEE TEAMWORK ARCHITECTURE /	Next

Hardcover.

There are no comments on this title.

to post a comment.