Online Public Access Catalogue (OPAC)
Library,Documentation and Information Science Division

“A research journal serves that narrow

borderland which separates the known from the unknown”

-P.C.Mahalanobis


Logic and algebra of specification : proceedings (Record no. 109096)

MARC details
000 -LEADER
fixed length control field 00739nam a2200205Ia 4500
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION
fixed length control field 131122s9999 xx 000 0 und d
040 ## - CATALOGING SOURCE
Original cataloging agency
041 ## - LANGUAGE CODE
Language code English
082 ## - DDC | ডিউই
Classification number | বর্গসংখ্যা 5.115
Book Number | গ্রন্থাঙ্ক B344
100 ## - MAIN ENTRY--PERSONAL NAME | মুখ্য সংলেখ - ব্যাক্তিনাম
Personal name | ব্যাক্তিনাম Bauer F L
110 ## - AIN ENTRY--CORPORATE NAME | মুখ্য সংলেখ - সংস্থানাম
Corporate name | সংস্থা নাম NATO Advanced Study Institute on Logic and Algebra of Specification( 11th : 1991 : Germany )
111 ## - MAIN ENTRY--MEETING NAME | মুখ্য সংলেখ - সভার নাম
Meeting name | সভার নাম NATO Advanced Study Institute on Logic and Algebra of Specification 11th
Location of meeting | সভার স্থান , Germany
Date of meeting | সভার তারিখ 1991
245 ## - TITLE STATEMENT | অাখ্যা বিবরণী
Title | অাখ্যা Logic and algebra of specification : proceedings
260 ## - IMPRINT | প্রকাশনা ক্ষেত্র
Place of publication | প্রকাশ স্থান Berlin
Name of publisher | প্রকাশকের নাম Springer Verlag
Date of publication | প্রকাশ কাল 1993
300 ## - PHYSICAL DESCRIPTION |
Page / Vol. No | পৃষ্ঠা / খন্ড সংখ্যা vi,442p
440 ## - SERIES STATEMENT |গ্রন্থমালা
Series Title | গ্রন্থমালা অাখ্যা NATO Advanced Science Institute series : F - Computer and Systems sciences, v 94
650 ## - SUBJECT ADDED ENTRY--TOPICAL TERM | বিষয় শিরোনাম - মূল বিষয়
Topical term | মূল বিষয় Algebra
650 ## - SUBJECT ADDED ENTRY--TOPICAL TERM | বিষয় শিরোনাম - মূল বিষয়
Topical term | মূল বিষয় Computer science
942 ## - ADDED ENTRY ELEMENTS (KOHA)
Koha item type Books
Holdings
Date last seen Total Checkouts Full call number Accession No. Koha item type Lost status Damaged status Not for loan Withdrawn status Home library Current library Shelving location Date acquired
15/06/2023   5.115 B344 114551 Books         ISI Library, Kolkata ISI Library, Kolkata 4th Floor 25/12/2013
Library, Documentation and Information Science Division, Indian Statistical Institute, 203 B T Road, Kolkata 700108, INDIA
Phone no. 91-33-2575 2100, Fax no. 91-33-2578 1412, ksatpathy@isical.ac.in