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

COMPUTER PROGRAM SYNTHESIS METHODOLOGIES (Record no. 470338)

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 Permanent Location Current Location Date acquired 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 2007-08-12 001.642 N214c A78167 2016-08-17 Book Request 2016-08-17 Books

Powered by Koha