Welcome to P K Kelkar Library, Online Public Access Catalogue (OPAC)

Symbolic model checking (Record no. 371563)

MARC details
000 -LEADER
fixed length control field 00646pam a2200181a 44500
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION
fixed length control field 160408b1993 xxu||||| |||| 00| 0 eng d
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 0792393805
040 ## - CATALOGING SOURCE
Original cataloging agency P K Kelkar Library, IIT Kanpur
082 ## - DEWEY DECIMAL CLASSIFICATION NUMBER
Classification number 621.392
Item number M459s
100 ## - MAIN ENTRY--PERSONAL NAME
Personal name Mcmillan, Kenneth L.
245 0# - TITLE STATEMENT
Title Symbolic model checking
Statement of responsibility, etc. Kenneth L. McMillan; foreworded by Edmund Clarke
260 ## - PUBLICATION, DISTRIBUTION, ETC.
Place of publication, distribution, etc. Boston
Name of publisher, distributor, etc. Kluwer Academic
Date of publication, distribution, etc. 1993
300 ## - PHYSICAL DESCRIPTION
Extent xv, 194p
650 ## - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element Electronic digital computers -- Circuits -- Design -- Data processing
650 ## - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element Symbolic circuit analysis -- Data processing
650 ## - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element Logic design -- Data processing
997 ## -
-- A174984 s C
Holdings
Withdrawn status Lost status Damaged status Not for loan Collection code Home library Current library Date acquired Source of acquisition Cost, normal purchase price Total Checkouts Full call number Barcode Date last seen Uniform Resource Identifier Price effective from Koha item type
        COMPACT STORAGE (BASEMENT) PK Kelkar Library, IIT Kanpur PK Kelkar Library, IIT Kanpur 08/07/2012 International Book Agency 599247.00   621.392 M459s A174984 08/04/2016 Book Request 08/04/2016 Books

Powered by Koha