About
Libraries
Help
Z39.50 Checker
Signup
Login
Add Library

Home/ NUST Central Library/ Model Chacking

PakCat catalogue record

Model Chacking

By Edmund M. Clarke, Jr

Bibliographic details

ISBN: 0262032708
Language: English
Material type: Book

Participating catalogues

These are catalogue sources where this work was discovered. A catalogue match does not confirm physical availability or loan status.

NUST Central LibraryIslamabad, Islamabad

Live catalogue response

Check the recorded catalogue sources without making an availability claim.

Quick Links

Request Scholarly Literature
Request Patent Documents
Register with PASTIC
R&D Projects
Newsletters
Latest News
Services Feedback
Tenders
Seniority List
MoST Resources

Services & Portals

Pakistan Science Abstracts
Technology News Bulletin
Directory of Scientific Periodicals
Union Catalogue
UNESCO, IFAP Pakistan
Abstracting & Indexing
Scientists Directory
SAARC SMEs Portal
National Digital Archive
PASTIC Koha Cloud

S&T Databases

R&D Equipment Database
S&T/R&D Organizations
S&T Societies/Associations
S&T Libraries Directory
TIS Databases
Conferences & Seminars
Energy Articles Database
Climate Change Articles
Books by Pakistani Authors
Fresh Arrivals

Contact Us

Director General Office
Director Office
IT Support Section
Technological Information Services
Bibliographic Section
PASTIC National Science Reference Library
Reprographic Services
Training Section
Adminstration Section
Sub-Centres

Copyright 2026 © PASTIC National Centre, Islamabad. All rights reserved. Developed by IT Section, PASTIC Privacy Policy | Terms of Use | Contact Us