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

COMPUTER PROGRAM SYNTHESIS METHODOLOGIES (Record no. 470338)

MARC details
000 -LEADER
fixed length control field 00582 a2200169 4500
082 ## - DEWEY DECIMAL CLASSIFICATION NUMBER
Classification number 001.642
Item number N214c
100 1# - MAIN ENTRY--PERSONAL NAME
Personal name BIERMANN, ALAN W.
Dates associated with a name
245 1# - TITLE STATEMENT
Title COMPUTER PROGRAM SYNTHESIS METHODOLOGIES
260 ## - PUBLICATION, DISTRIBUTION, ETC.
Place of publication, distribution, etc. Dordrecht
Name of publisher, distributor, etc. D. Reidel Pub.
Date of publication, distribution, etc. 1983
300 ## - PHYSICAL DESCRIPTION
Extent ix,374,,,,,
440 ## - SERIES STATEMENT/ADDED ENTRY--TITLE
Title Nato Advanced Study Institutes Series , Series C, Mathematical And Physical Sciences
Volume/sequential designation V. 95
500 ## - GENERAL NOTE
General note Published In Cooperation With Scientific Affairs
650 ## - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element Electronic Digital Computers -- Programming -- Congresses
700 ## - ADDED ENTRY--PERSONAL NAME
Personal name GUIHO, GERARD
964 ## -
-- CIRC
997 ## -
-- A78167 C
Holdings
Withdrawn status Lost status Damaged status Not for loan Collection code Home library Current library Date acquired 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 12/08/2007   001.642 N214c A78167 17/08/2016 Book Request 17/08/2016 Books

Powered by Koha