Central Library
Lists
Public lists
Indian Knowledge System
Books by Alumni
Books by Faculty
हिंदी किताबें
Story books
Inspirational Books
Children's Books
View All
Your lists
Log in to create your own lists
Log in to your account
Search
Library catalog
Title
Author
Subject
ISBN
Series
Call number
Go
Advanced search
×
Log in to your account
Login:
Password:
Forgot your password?
Home
›
ISBD view
Normal view
MARC view
ISBD view
CLARKE ,E.M. & OTHERS
MODEL CHECKING - Cambridge MIT Press 1999 - xiv+314p.,23X18Cms.
ISBN:
0262032708
Dewey Class. No.:
621.38195 C597
Print
Save record
BIBTEX
Dublin Core
MARCXML
MARC (non-Unicode/MARC-8)
MARC (Unicode/UTF-8)
MARC (Unicode/UTF-8, Standard)
MODS (XML)
RIS
ISBD
More searches
Search for this title in:
Other Libraries (WorldCat)
Other Databases (Google Scholar)
Online Stores (Bookfinder.com)
Open Library (openlibrary.org)
×
Exporting to Dublin Core...
Simple DC-RDF
OAI-DC
SRW-DC
