SUMMON Search
SEARCH ALL HEC DIGITAL LIBRARY RESOURCES

Quick Search :

RECORD DETAIL
Back To Previous  
Title Filtering nusmv counterexample
Edition
Call Number Diss / M .Sc / COM / 2136
ISBN/ISSN
Author(s) Shadia Akbar - Personal Name
Subject(s) Computer sciences
Classification Diss / M.Sc
Series Title
GMD Dissertation
Language English
Publisher George Allen and Unwin/Suhail Academy
Publishing Year 2014
Publishing Place Islamabad
Collation 38p.
Abstract/Notes
Specific Detail Info
Image
File Attachment
LOADING LIST...
Availability
LOADING LIST...
  Back To Previous




Select Language

Advanced Search

Title :
Author(s) :
  • SEARCHING...

Subject(s) :
  • SEARCHING...

Call # :
ISBN/ISSN :
GMD : Collection Type : Location :

Developed By

Computer Centre, Q.A.U